feat: add optional EvidentLoop audit integration

.github/workflows/ci.yml

@@ -60,6 +60,7 @@ jobs:
             tests/protocol/test_convention_compliance.py \
             tests/test_check_readme_links.py \
             tests/test_distribution.py \
+            tests/test_evidentloop_installer.py \
             tests/test_golden_snapshots.py \
             tests/test_release_hooks.py \
             tests/test_sopify_init_smoke.py \
@@ -78,7 +79,7 @@ jobs:
         run: python3 scripts/sopify_protocol_check.py check --scenario continuation --fixture tests/fixtures/decision_pending
 
       - name: Run protocol smoke — finalize
-        run: python3 scripts/sopify_protocol_check.py check --scenario finalize --fixture tests/fixtures/minimal_plan
+        run: python3 scripts/sopify_protocol_check.py check --scenario finalize --fixture tests/fixtures/finalized_plan
 
       - name: Run install/payload bootstrap smoke
         run: python3 scripts/check-install-payload-bundle-smoke.py

.sopify/blueprint/README.md

@@ -13,7 +13,8 @@
 ## 当前焦点
 
 <!-- sopify:auto:focus:start -->
-- 当前无活动 plan；MCP tool plane 已完成 Codex-first 持久注册验证和 Claude 会话级只读调用验证，Qoder / Claude / Copilot 的后续持久注册仍按证据推进。
+- 当前无活动 plan；EvidentLoop 可选配套安装、Codex 公开版本 dogfood 与正式 receipt 已收口，归档见 `../history/2026-07/20260718_evidentloop_optional_audit_integration/`。
+- MCP tool plane 已完成 Codex-first 持久注册验证和 Claude 会话级只读调用验证，Qoder / Claude / Copilot 的后续持久注册仍按证据推进。
 - P8 Protocol Kernel & Runtime Retirement 已归档至 `../history/2026-06/20260605_p8_protocol_kernel_runtime_retirement`。
 - history 归档：已可用；最近归档：`../history/2026-07/20260717_sopify_entry_preflight`。
 <!-- sopify:auto:focus:end -->

.sopify/blueprint/architecture-decision-records/ADR-013.md

@@ -66,6 +66,6 @@ Core + Default Workflow 之外的生产/验证/知识增强，归入 **Plugins /
 - Core（durable）只保留证据规范 / 协议准入 / 审计证据 / 合规验证 / 跨宿主接力契约
 - Default Workflow 是 Core 之上的官方收敛式工作流，地位高于参考 demo，低于 Core
 - 具有独立用户价值的生产/验证/知识能力设计为外插 Plugins / Skills
-- CrossReview 是已实现的外插参考范本
+- CrossReview 曾是外插参考范本，现已从当前执行面退场；当前边界是通用 Verifier 契约，EvidentLoop 仅作为可选实例
 - Runtime 已在 P8 中退场；protocol kernel（sopify_writer + sopify_contracts + protocol.md）是 post-P8 的真相源
 - Core promotion rule：只有影响跨宿主互操作、receipt validity、archive admissibility 的契约才进 Core

.sopify/blueprint/architecture-decision-records/README.md

@@ -19,14 +19,14 @@ Architecture Decision Records for Sopify.
 | ADR-001 | 不 pipeline 化 engine | historical / runtime-mode constraint | 被 ADR-016 的 Runtime-optional 视角吸收；engine 不再作为 core 边界来源 | - |
 | ADR-002 | Checkpoint: LLM 判断 + Python/Validator 持久化 | absorbed | 被 ADR-017 与 `blueprint/design.md` Checkpoint 契约吸收；checkpoint 收敛为 `clarification` / `decision` | - |
 | ADR-003 | `skill.yaml` v2 向后兼容 | scoped / skill package | 保留在 skill package 标准化语境；不作为当前 core baseline 实体 | - |
-| ADR-004 | CrossReview 分阶段验证 (advisory → runtime) | scoped / plugin | CrossReview 作为质量验证参考实现；不并入 Sopify core ADR 实体 | - |
+| ADR-004 | CrossReview 分阶段验证 (advisory → runtime) | historical / retired plugin | 旧集成事实保留；当前由通用 Verifier 契约与可选 EvidentLoop 方案替代 | - |
 | ADR-005 | 旧总纲残余吸收策略 | historical | 旧纲吸收已完成；证据留 git history | - |
 | ADR-006 | 子任务包方向一致性约束 | absorbed | 被 `blueprint/tasks.md` 执行优先级、Plan intake checklist 与 `blueprint/design.md` 硬约束吸收 | - |
 | ADR-007 | 多宿主原生支持 | absorbed | 被 ADR-016 Protocol-first 与 `blueprint/design.md` Surface-shared / Wire-composable 吸收 | - |
 | ADR-008 | Plugin 策展集成模型 | deferred / scoped | 后续插件体系或 skill package 分支再实体化；当前不进入 core baseline | - |
 | ADR-009 | `pipeline_hooks` 默认关闭 | historical / frozen | hooks 不作为当前主线；如恢复需新 ADR 或实现分支重审 | - |
 | ADR-010 | 不允许外部 plugin 引入新 checkpoint 类型 | superseded | 被 `blueprint/design.md` Checkpoint target: 2 取代，旧 4 类型口径不再合法化 | - |
-| ADR-011 | CR verdict → checkpoint 映射 + review-fix 循环限制 | scoped / plugin | CrossReview runtime 模式冻结；后续若恢复 runtime 集成再实体化 | - |
+| ADR-011 | CR verdict → checkpoint 映射 + review-fix 循环限制 | historical / retired plugin | 不迁移到 EvidentLoop；默认 hook、checkpoint 映射和 review-fix bridge 均不再采用 | - |
 | ADR-012 | Minimal Core Boundary — 4 层架构 | superseded | 被 ADR-016 的 Protocol / Validator / Runtime 三层定位取代 | - |
 | ADR-013 | Product Positioning: Evidence & Authorization Layer | canonical | Sopify 产品定位与生存性测试 | [ADR-013.md](ADR-013.md) |
 | ADR-014 | Skill / Plugin Permission Tiers | absorbed | 权限语义收敛到 ADR-017 side-effect authorization 与 `blueprint/design.md` hard constraints；skill 权限细节保留在专项 skill 文档 | - |

.sopify/blueprint/background.md

@@ -14,7 +14,7 @@ Sopify 官方在 core 之上提供一个轻量、可插拔、收敛式的 bluepr
 |----|------|--------|
 | **Protocol Kernel**（协议内核） | 协议规范 + sopify_writer + 收据/接力/归档 truth | Durable：不随宿主生态变化而 sunset |
 | **Default Workflow** | blueprint 驱动的分析 → 计划讨论 → 标准方案包 → 开发验证 → 归档回写 | 用户买到的主体验，建构在 protocol kernel 之上 |
-| **Plugins / Skills** | cross-review、graphify、宿主自带分析/开发/验证增强 | Sopify 定义接入点，不做 skill 分发 |
+| **Plugins / Skills** | EvidentLoop（可选）、其他 Verifier、graphify、宿主自带增强 | Sopify 定义通用接入点，不绑定单一实现 |
 
 核心价值不在于"能调 skill"或"能编排 workflow"，而在于：
 
@@ -27,6 +27,8 @@ Sopify 官方在 core 之上提供一个轻量、可插拔、收敛式的 bluepr
 
 **产品形态锚点**：Protocol 是宿主的唯一硬依赖；宿主执行、Sopify 保存、任意宿主恢复——这是 P8 runtime 退场后的三层分工。一切外部验证与生产能力通过 integration contract 外插，不进 kernel。
 
+**可选验证安装边界**：Sopify 不默认安装或运行 Verifier。用户显式传入 `--with-evidentloop` 时，先完成 Sopify，再按 EvidentLoop 当前官方方式尝试安装；后者失败不回滚或否定 Sopify，且不在最终 Skill 目录留下未验证内容。已有健康组件直接复用且不自动升级；兼容性由 EvidentLoop 自身负责，Sopify 不维护版本矩阵，也不自动提交 Copilot 项目 Skill。该参数不形成持久能力开关，也不改变通用 receipt 契约。
+
 ## 核心架构模式
 
 P8 后 Sopify 不再运行进程。一切交互通过纯文件协议：