From 4b645af3035f8186f0ffdab3e39754667959afe0 Mon Sep 17 00:00:00 2001
From: Eli Ma <eli@patch.sh>
Date: Thu, 8 Oct 2026 07:49:17 +0800
Subject: [PATCH] v0.42.25: HP-25 Libra view URL smoke

Signed-off-by: Eli Ma <eli@patch.sh>
---
 Cargo.lock                                   |   2 +-
 Cargo.toml                                   |   2 +-
 docker/docker-compose-storage-only.views.yml |   9 ++
 docs/deploy-trunk.md                         |  25 +++-
 docs/plan/plan-20261002.md                   |  41 +++---
 scripts/bb_optin_run.sh                      |  47 ++++--
 scripts/libra_view_smoke.sh                  | 145 +++++++++++++++++++
 scripts/libra_view_smoke_setup.sh            | 115 +++++++++++++++
 8 files changed, 356 insertions(+), 30 deletions(-)
 create mode 100644 docker/docker-compose-storage-only.views.yml
 create mode 100755 scripts/libra_view_smoke.sh
 create mode 100755 scripts/libra_view_smoke_setup.sh

diff --git a/Cargo.lock b/Cargo.lock
index 5193b602..b643d9b7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -4172,7 +4172,7 @@ checksum = "7ebb8d8732c6a6df3d8f032a82911cfc747e00efb95cc46e8d0acd5b5b88570c"
 
 [[package]]
 name = "mega2"
-version = "0.42.24"
+version = "0.42.25"
 dependencies = [
  "anyhow",
  "async-recursion",
diff --git a/Cargo.toml b/Cargo.toml
index 9b5c5f6e..6b6e1e4c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "mega2"
-version = "0.42.24"
+version = "0.42.25"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 description = "Monorepo engine and Git hosting server for AI agents: trunk-based storage, Git Smart HTTP, Git LFS, OCI registry, and Agent Session Capture"
diff --git a/docker/docker-compose-storage-only.views.yml b/docker/docker-compose-storage-only.views.yml
new file mode 100644
index 00000000..fd0de0e9
--- /dev/null
+++ b/docker/docker-compose-storage-only.views.yml
@@ -0,0 +1,9 @@
+# Opt-in view smoke stack. Compose with docker-compose-storage-only.yml.
+services:
+  mega2:
+    environment:
+      MEGA_VIEWS__ENABLED: "true"
+      MEGA_VIEWS__MAX_FILTERS: "2"
+      MEGA_DATABASE__DB_URL: postgres://mega2:mega2_storage_password@postgres:5432/mega2_hp25_views
+      MEGA_REDIS__URL: redis://redis:6379/1
+      MEGA_BASE_DIR: /tmp/mega2-hp25-views
diff --git a/docs/deploy-trunk.md b/docs/deploy-trunk.md
index 07d60709..680ea630 100644
--- a/docs/deploy-trunk.md
+++ b/docs/deploy-trunk.md
@@ -152,13 +152,15 @@ docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml --profil
 opt-in case（需要切换 mega2 配置的 case）一律经宿主侧 helper 运行，helper 用 `trap` 保证无论成败都把 mega2 恢复为默认配置；切换后与恢复后都读取运行中 mega2 容器的 compose config hash 标签，分别与切换配置、默认配置的 hash 比对（[plan-20261001](plan/plan-20261001.md) FIX-BB-07）：
 
 ```bash
-scripts/bb_optin_run.sh <none|gc|local> <script> '<case>' target/tmp/<log>
+scripts/bb_optin_run.sh <none|gc|local|views> <script> '<case>' target/tmp/<log>
 scripts/bb_optin_run.sh --selftest local target/tmp/<log>   # 自测：桩命令退出 1
 ```
 
+`views` 模式叠加 `docker/docker-compose-storage-only.views.yml`，只接受 `libra_view_smoke.sh`；切栈前重建独立库 `mega2_hp25_views` 并清空 Redis 逻辑库 1。`--selftest views` 执行 reset、切栈、桩命令及默认栈恢复，不执行 prepare。
+
 - `scripts/bb_optin_run.sh` 退出码 0：case 通过，且 mega2 已恢复默认配置（log 含 `bb-optin: restored mega2 (config hash match)`）。
 - `scripts/bb_optin_run.sh` 退出码 1：case 失败，或切换后运行中 mega2 容器的 compose config hash 标签不是切换配置的 hash（case 未运行）；两种情况下 mega2 都已恢复默认配置。
-- `scripts/bb_optin_run.sh` 退出码 2：参数或前置错误（未知模式、env-file 缺失、另一个 helper 持有栈锁），未切栈。
+- `scripts/bb_optin_run.sh` 退出码 2：参数或前置错误（未知模式、env-file 缺失、脚本与模式不匹配、另一个 helper 持有栈锁），未切栈。
 - `scripts/bb_optin_run.sh` 退出码 3：恢复失败（运行中 mega2 的 config hash 不是默认配置的 hash，或 mega2 不健康），需人工执行 `docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml up -d --wait --force-recreate mega2`。
 
 ### 8.1 Compose 黑盒 Git 协议 smoke（`git` 客户端）
@@ -534,3 +536,22 @@ HTTP 服务即可从已提交水位继续。
 名额不足时，注册返回 429；读者访问返回 503 与 `Retry-After`。释放名额，或热调高 `max_filters`、`max_concurrent_cold_starts` 后，可以再次访问。预热期间访问同样返回 503 与 `Retry-After`，就绪后恢复宣告。[`views.enabled`](configuration.md) 为 `false` 时访问返回 404，不触发预热。
 
 `recycle-filter` 之后的视图历史与回收前相同；`rebuild-all` 之后的视图历史可能改变，需要公告。
+
+### 13.4 Libra 视图 smoke（opt-in）
+
+先用当前工作树重建 mega2 镜像并启动 `interop-smoke`，命令见 §8。三个 case 逐一运行；每次 helper 都重建独立库、切到 views 配置、准备视图状态，并在退出时恢复默认栈：
+
+```bash
+scripts/bb_optin_run.sh views libra_view_smoke.sh '<case>' target/tmp/hp25-<case>.log
+```
+
+`<case>` 分别取 `view_http_clone_fetch`、`view_unready`、`view_l0_mismatch`。setup 先 provision `/project/hp25-view-smoke`，克隆其初始提交，再用 `git mktree` 构造 `ok/`、`unready/` 与 `l0/` 的 tree 和根 tree，在初始提交之上推送。`l0/` 含不自洽的 `100664` 条目，属于[历史投影设计的 R2 限制](refactoring/history-projection.md)；它只写入独立库，避免破坏默认栈的根仓库 clone。先注册并回收 `hp25-unready`，再注册两个就绪视图使名额满额，确保未就绪访问稳定得到 503 / 75。
+
+SSH case 用 `LIBRA_SSH_COMMAND` 指向本次运行的包装脚本，脚本从隔离的 `known_hosts` 读取环回中继 host key，并保持 `StrictHostKeyChecking=yes`。在 `DEP-HP-04` 落地前，未就绪 SSH 用例只断言 `status 75`；L0 ERR 用例断言 `remote reported an error:` 前缀及重算的 tree id。
+
+views 栈与默认栈共用 RustFS bucket `mega2`；独立库与 Redis 逻辑库 1 可在 helper 没有运行时手工清理：
+
+```bash
+docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml exec -T postgres psql -U mega2 -d postgres -c 'DROP DATABASE IF EXISTS mega2_hp25_views WITH (FORCE)'
+docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml exec -T redis redis-cli -n 1 FLUSHDB
+```
diff --git a/docs/plan/plan-20261002.md b/docs/plan/plan-20261002.md
index f6f1361f..4a0a773d 100644
--- a/docs/plan/plan-20261002.md
+++ b/docs/plan/plan-20261002.md
@@ -189,6 +189,7 @@
 | 2026-10-08 | HP-24 冻结基准 FAIL 与 ER-10 修复卡 | 参数冻结提交 `7acc2b5` 已推送；ER-03 冻结前因 v2.0.0 首父链存在非 UTF-8 作者而改选 git.git v0.99.5，已在 HP-24 Performance budget 登记范围与局限；首次有效运行的 (c)(d) FAIL，随后诊断把增量耗时拆为根链与视图两段；HP-24 置 blocked，新增 FIX-HP-01 并立即加前置依赖；先修订设计 §3.3、§4.4，再实施根链批写、无预算单提交快路与末批终态。所有 `run-*.json` 与 `failed-*.json` 保留。 | HP-24 → FIX-HP-01、HP-24 | 实施顺序、发布顺序、共享文件、ER-05、HP-24、审计表、设计 §3.3/§4.4、Review log |
 | 2026-10-08 | FIX-HP-01 实施、双审与发布 | 根链批写、无预算单提交快路和追赶末批终态由 `v0.42.23` 的 `9685337` 承载；Claude 与独立 Codex 均 `VERDICT: PASS`。定向测试、nightly 格式、全目标全特性 Clippy、第二轮完整测试 19 个目标与两个零警告构建门通过；首轮完整测试中既有端口占用用例的日志时序波动，精确复跑和第二轮完整运行通过。推送前三次隔离冻结诊断的 (a)–(d) 与规模上限均 PASS；标签与 GitHub Release 已发布。Docker Build Action 按发布者指令不等待、不查询。 | 无拆卡 | FIX-HP-01、设计 §3.3/§4.4、Review log、ER-04 C/D |
 | 2026-10-08 | HP-24 正式重跑、双审与发布门 | FIX-HP-01 发布后在原工作树按冻结参数重新编译并运行基准；(a)–(d) 与顶格预算全部 PASS。§7.2 登记完整实测汇总，任务卡列出三份有效运行、两份失败记录与隔离目录的诊断失败；8 项验收与 8 项精确 Verification、Claude 与 Codex 双审、nightly 格式、Clippy、19 个目标的完整测试及两个零警告构建门通过。版本 `v0.42.24` 承载本卡；Docker Build Action 按发布者指令不等待、不查询。 | 无拆卡 | HP-24、设计 §7.2、Review log、ER-04 C/D |
+| 2026-10-08 | HP-25 本地 smoke、门禁与双审 | 独立 views overlay 和 Libra 三项视图 URL 黑盒用例完成；最终版 8/8 AC、8/8 Verification、A 组、nightly 格式、Clippy、第二次完整测试 19 个 target、两个零警告构建门通过；首次完整测试的既有 Artifacts 用例 502/401 波动与精确复跑通过已在卡内记录。Claude 与独立 Codex 均 `VERDICT: PASS`；`v0.42.25` 承载本卡，D 组按发布者指令不等待、不查询。 | 无拆卡 | HP-25、Review log、ER-04 C/D |
 
 ## 已决议设计决策
 
@@ -5510,7 +5511,7 @@ ER-04 C 组五条精确命令和两个零警告构建门另执行，不计入本
 
 **Task type:** `implementation`
 
-**Lifecycle / Acceptance:** `pending` / 空
+**Lifecycle / Acceptance:** `remote-pending` / `locally-accepted`（8/8 验收、8/8 精确验证、A/C 组与两个零警告构建门通过；Claude 与独立 Codex 双审 PASS；版本面 `v0.42.25`，D 组按发布者指令不等待、不查询）
 
 **Description:** 在 plan-20261001 的 Libra smoke harness（`DEP-HP-01`）上新增 opt-in 的视图 smoke，在与默认库隔离的 views 模式栈上，可重复地判定 Libra 经视图 URL 的 clone / fetch 成功路径与设计 §7.4 错误契约第 7 项。唯一的行为轴是「Libra 与视图 URL 的互通」。范围如下：
 - `scripts/libra_view_smoke.sh`（新建，在 `interop-smoke` 内运行）：
@@ -5608,14 +5609,14 @@ ER-04 C 组五条精确命令和两个零警告构建门另执行，不计入本
 
 **Acceptance criteria:**
 
-- [ ] Libra 经 HTTP clone 就绪视图 `/.view/hp25-ok@1.git` 后，工作区 `HEAD` 的提交 id 等于 git 对同一 URL 执行 `ls-remote` 得到的 `HEAD`。
-- [ ] 该视图前进一个提交之后，Libra 经 HTTP fetch 得到的 `origin/main` 等于 git 对同一 URL 执行 `ls-remote` 得到的新 `HEAD`。
-- [ ] Libra 经 HTTP clone 未就绪视图 `/.view/hp25-unready@1.git` 的结果，与设计 §7.4 错误契约第 7 项中 HTTP clone 未就绪视图的期望一致。
-- [ ] Libra 经 SSH clone 未就绪视图 `/.view/hp25-unready@1.git` 的结果，与设计 §7.4 错误契约第 7 项中 SSH clone 未就绪视图的期望一致。
-- [ ] Libra 经 HTTP 与 SSH clone 含不自洽 L0 tree 的视图 `/.view/hp25-l0@1.git`，结果都与设计 §7.4 错误契约第 7 项中 L0 tree 不自洽的期望一致。
-- [ ] views 模式的运行结束、默认栈恢复之后，默认栈对 `/project/hp25-view-smoke.git` 的 `git ls-remote` 是一次输出为空的成功调用。
-- [ ] `scripts/libra_view_smoke.sh` 中没有直连 Postgres 或 Redis 的调用（`psql`、`redis-cli`、端口 5432 / 6379、`DB_URL`）。
-- [ ] 脚本与模式不匹配的两种组合（`views` 模式配非视图脚本，非 `views` 模式配 `libra_view_smoke.sh`），helper 都在切栈之前以退出码 2 结束。
+- [x] Libra 经 HTTP clone 就绪视图 `/.view/hp25-ok@1.git` 后，工作区 `HEAD` 的提交 id 等于 git 对同一 URL 执行 `ls-remote` 得到的 `HEAD`。
+- [x] 该视图前进一个提交之后，Libra 经 HTTP fetch 得到的 `origin/main` 等于 git 对同一 URL 执行 `ls-remote` 得到的新 `HEAD`。
+- [x] Libra 经 HTTP clone 未就绪视图 `/.view/hp25-unready@1.git` 的结果，与设计 §7.4 错误契约第 7 项中 HTTP clone 未就绪视图的期望一致。
+- [x] Libra 经 SSH clone 未就绪视图 `/.view/hp25-unready@1.git` 的结果，与设计 §7.4 错误契约第 7 项中 SSH clone 未就绪视图的期望一致。
+- [x] Libra 经 HTTP 与 SSH clone 含不自洽 L0 tree 的视图 `/.view/hp25-l0@1.git`，结果都与设计 §7.4 错误契约第 7 项中 L0 tree 不自洽的期望一致。
+- [x] views 模式的运行结束、默认栈恢复之后，默认栈对 `/project/hp25-view-smoke.git` 的 `git ls-remote` 是一次输出为空的成功调用。
+- [x] `scripts/libra_view_smoke.sh` 中没有直连 Postgres 或 Redis 的调用（`psql`、`redis-cli`、端口 5432 / 6379、`DB_URL`）。
+- [x] 脚本与模式不匹配的两种组合（`views` 模式配非视图脚本，非 `views` 模式配 `libra_view_smoke.sh`），helper 都在切栈之前以退出码 2 结束。
 
 **Verification:**
 
@@ -5623,14 +5624,14 @@ ER-04 C 组五条精确命令和两个零警告构建门另执行，不计入本
 
 执行顺序：第 1–3 行依次运行。helper 持有栈锁 `${TMPDIR:-/tmp}/mega2-trunk-optin.lock`，不能并行，也不能与 plan-20261001 的 opt-in 运行并行。第 4、5、7 行在第 1–3 行之后运行。第 7 行比较运行中 mega2 容器的 id，同样不能与任何 helper 运行（含 A 组的 `--selftest views`）并行。
 
-- [ ] `source .env.test && scripts/bb_optin_run.sh views libra_view_smoke.sh 'view_http_clone_fetch' target/tmp/hp25-view_http_clone_fetch.log`（new；判定第 1、2 条。退出码 0 即通过：helper 只在日志含 `PASS: view_http_clone_fetch`、默认栈已恢复、运行中容器的 config-hash label 等于默认 hash 时返回 0。case 内：`libra clone http://127.0.0.1:9000/.view/hp25-ok@1.git <dir>` 退出 0，在 `<dir>` 中 `libra rev-parse HEAD` 等于 `git ls-remote <同一 URL> HEAD` 的 id T0（第 1 条）。随后带 token 调用 `POST /api/v1/create-entry`，在 `/project/hp25-view-smoke/ok` 下新建文件 `hp25-${RUN_ID}.txt`（`is_directory = false`，`content` 为 `RUN_ID` 的文本），要求 200；每秒执行一次 `git ls-remote <同一 URL> HEAD`，至多 30 秒，直到得到不等于 T0 的 id T1，超时即失败；在 `<dir>` 中 `libra fetch` 退出 0，`libra rev-parse origin/main` 等于 T1（第 2 条））
-- [ ] `source .env.test && scripts/bb_optin_run.sh views libra_view_smoke.sh 'view_unready' target/tmp/hp25-view_unready.log`（new；判定第 3、4 条。case 内依次：`libra clone http://127.0.0.1:9000/.view/hp25-unready@1.git <dir1>` 以非零退出，输出含 `HTTP 503`（第 3 条）；按 Description 写入隔离 `known_hosts`、生成包装脚本并导出 `LIBRA_SSH_COMMAND` 之后，`libra clone ssh://git@127.0.0.1:2222/.view/hp25-unready@1.git <dir2>` 以非零退出，输出含 `status 75`（第 4 条；host key 校验失败时为 255，不会误判为通过）；最后 `git ls-remote http://127.0.0.1:9000/.view/hp25-unready@1.git` 以非零退出，stderr 含 `returned error: 503`，证明视图在整个用例期间保持未就绪。`DEP-HP-04` 落地之前不断言 SSH 的 ERR 原文）
-- [ ] `source .env.test && scripts/bb_optin_run.sh views libra_view_smoke.sh 'view_l0_mismatch' target/tmp/hp25-view_l0_mismatch.log`（new；判定第 5 条。case 先在临时仓库中用与 setup 相同的固定输入执行 `git hash-object -w` 与 `git mktree`，得到 tree_id T；再按 Description 准备隔离 `known_hosts` 与 `LIBRA_SSH_COMMAND`。`libra clone http://127.0.0.1:9000/.view/hp25-l0@1.git` 与 `libra clone ssh://git@127.0.0.1:2222/.view/hp25-l0@1.git` 各执行一次，都以非零退出，输出都含 `remote reported an error:` 与 T）
-- [ ] `source .env.test && bash -c 'for c in view_http_clone_fetch view_unready view_l0_mismatch; do rg -qxF "libra view smoke storage_only summary: 1 passed, 0 failed (0 skipped)" "target/tmp/hp25-$c.log" || { echo "FAIL: $c"; exit 1; }; done; echo OK'`（判定第 1–5 条的运行证据：每个 case 单独运行时恰好执行了它自己，没有失败，也没有跳过；日志缺失同样判失败）
-- [ ] `source .env.test && docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml --profile interop exec -T interop-smoke bash -c 'out=$(git ls-remote http://127.0.0.1:9000/project/hp25-view-smoke.git) && test -z "$out"'`（判定第 6 条；在默认栈已恢复时运行。不存在的路径在 v2 下只应答 flush，`ls-remote` 成功且无输出；种子如果误写进默认库，这里会列出 ref）
-- [ ] `source .env.test && bash -c 'if rg -n -i "psql|redis-cli|5432|6379|db_url" scripts/libra_view_smoke.sh; then echo FAIL; exit 1; else rc=$?; [ "$rc" -eq 1 ] || exit "$rc"; echo OK; fi'`（零命中即通过；判定第 7 条）
-- [ ] `source .env.test && bash -c 'c="docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml"; for p in views:artifacts_smoke_storage_only.sh local:libra_view_smoke.sh; do m=${p%%:*}; s=${p#*:}; id0=$($c ps -q mega2); scripts/bb_optin_run.sh "$m" "$s" view_unready "target/tmp/hp25-mismatch-$m.log"; rc=$?; [ -n "$id0" ] && [ "$rc" -eq 2 ] && [ "$($c ps -q mega2)" = "$id0" ] || { echo "FAIL: $m $s rc=$rc"; exit 1; }; done; echo OK'`（判定第 8 条；在默认栈运行、没有 helper 运行时执行。两种组合逐一运行，每次都要求退出码为 2、运行中 mega2 容器的 id 与运行前相同且非空；helper 一旦切栈，恢复时会以 `--force-recreate` 重建容器，id 随之改变）
-- [ ] `source .env.test && bash -c "set -o pipefail; mkdir -p target/tmp/hp25 || exit 1; awk '/^## [0-9]+\. 本地 Compose 栈\$/{f=1;print;next} /^## /{f=0} f' docs/deploy-trunk.md > target/tmp/hp25/s8.md || exit 1; awk '/^### .*Libra 视图 smoke（opt-in）\$/{f=1;print;next} /^(## |### )/{f=0} f' docs/deploy-trunk.md > target/tmp/hp25/smoke.md || exit 1; test -s target/tmp/hp25/s8.md && test -s target/tmp/hp25/smoke.md || { echo 'FAIL: section missing'; exit 1; }; for s in \"scripts/bb_optin_run.sh <none|gc|local|views> <script> '<case>' target/tmp/<log>\" 脚本与模式不匹配 docker/docker-compose-storage-only.views.yml mega2_hp25_views 'Redis 逻辑库 1' libra_view_smoke.sh '--selftest views'; do rg -q -F -- \"\$s\" target/tmp/hp25/s8.md || { echo \"FAIL: s8: \$s\"; exit 1; }; done; for s in \"scripts/bb_optin_run.sh views libra_view_smoke.sh '<case>' target/tmp/hp25-<case>.log\" view_http_clone_fetch view_unready view_l0_mismatch 'git mktree' LIBRA_SSH_COMMAND StrictHostKeyChecking=yes DEP-HP-04 refactoring/history-projection.md '共用 RustFS bucket' 'DROP DATABASE IF EXISTS mega2_hp25_views' 'redis-cli -n 1 FLUSHDB'; do rg -q -F -- \"\$s\" target/tmp/hp25/smoke.md || { echo \"FAIL: smoke: \$s\"; exit 1; }; done; rg -q -- '^-- view-ops:' target/tmp/hp25/smoke.md; rc=\$?; [ \"\$rc\" -eq 1 ] || { echo \"FAIL: marker line rc=\$rc\"; exit 1; }; echo OK"`（打印 `OK` 且退出 0 即通过。先用 awk 切出两段：§8「本地 Compose 栈」整节，以及标题为 `### <n>.<k> Libra 视图 smoke（opt-in）` 的小节（到下一个 `## ` 或 `### ` 标题为止），任一段为空即失败。§8 段内要求命中 7 个固定字符串：用法行、`脚本与模式不匹配`、overlay 路径、`mega2_hp25_views`、`Redis 逻辑库 1`、`libra_view_smoke.sh`、`--selftest views`。小节内要求命中 12 个固定字符串：单 case 命令、三个 case 名、`git mktree`、`LIBRA_SSH_COMMAND`、`StrictHostKeyChecking=yes`、`DEP-HP-04`、设计文档的链接目标 `refactoring/history-projection.md`、`共用 RustFS bucket`、两条手工清理命令的关键片段。小节内不得有整行以 `-- view-ops:` 开头的行（`rg` 退出 1 才通过，0 或 2 都判失败）。任一字符串无命中或 `rg` 出错都判失败。这一行核对 Docs and compatibility impact 中 `docs/deploy-trunk.md` 各条目的固定标识；「前置」一条是叙述，不设字符串判据。2026-10-03 已在 zsh 与 bash 下用构造的文档核对：内容齐全时输出 `OK`；缺小节、缺任一字符串、小节含标记行时都以 1 退出）
+- [x] `source .env.test && scripts/bb_optin_run.sh views libra_view_smoke.sh 'view_http_clone_fetch' target/tmp/hp25-view_http_clone_fetch.log`（new；判定第 1、2 条。退出码 0 即通过：helper 只在日志含 `PASS: view_http_clone_fetch`、默认栈已恢复、运行中容器的 config-hash label 等于默认 hash 时返回 0。case 内：`libra clone http://127.0.0.1:9000/.view/hp25-ok@1.git <dir>` 退出 0，在 `<dir>` 中 `libra rev-parse HEAD` 等于 `git ls-remote <同一 URL> HEAD` 的 id T0（第 1 条）。随后带 token 调用 `POST /api/v1/create-entry`，在 `/project/hp25-view-smoke/ok` 下新建文件 `hp25-${RUN_ID}.txt`（`is_directory = false`，`content` 为 `RUN_ID` 的文本），要求 200；每秒执行一次 `git ls-remote <同一 URL> HEAD`，至多 30 秒，直到得到不等于 T0 的 id T1，超时即失败；在 `<dir>` 中 `libra fetch` 退出 0，`libra rev-parse origin/main` 等于 T1（第 2 条））
+- [x] `source .env.test && scripts/bb_optin_run.sh views libra_view_smoke.sh 'view_unready' target/tmp/hp25-view_unready.log`（new；判定第 3、4 条。case 内依次：`libra clone http://127.0.0.1:9000/.view/hp25-unready@1.git <dir1>` 以非零退出，输出含 `HTTP 503`（第 3 条）；按 Description 写入隔离 `known_hosts`、生成包装脚本并导出 `LIBRA_SSH_COMMAND` 之后，`libra clone ssh://git@127.0.0.1:2222/.view/hp25-unready@1.git <dir2>` 以非零退出，输出含 `status 75`（第 4 条；host key 校验失败时为 255，不会误判为通过）；最后 `git ls-remote http://127.0.0.1:9000/.view/hp25-unready@1.git` 以非零退出，stderr 含 `returned error: 503`，证明视图在整个用例期间保持未就绪。`DEP-HP-04` 落地之前不断言 SSH 的 ERR 原文）
+- [x] `source .env.test && scripts/bb_optin_run.sh views libra_view_smoke.sh 'view_l0_mismatch' target/tmp/hp25-view_l0_mismatch.log`（new；判定第 5 条。case 先在临时仓库中用与 setup 相同的固定输入执行 `git hash-object -w` 与 `git mktree`，得到 tree_id T；再按 Description 准备隔离 `known_hosts` 与 `LIBRA_SSH_COMMAND`。`libra clone http://127.0.0.1:9000/.view/hp25-l0@1.git` 与 `libra clone ssh://git@127.0.0.1:2222/.view/hp25-l0@1.git` 各执行一次，都以非零退出，输出都含 `remote reported an error:` 与 T）
+- [x] `source .env.test && bash -c 'for c in view_http_clone_fetch view_unready view_l0_mismatch; do rg -qxF "libra view smoke storage_only summary: 1 passed, 0 failed (0 skipped)" "target/tmp/hp25-$c.log" || { echo "FAIL: $c"; exit 1; }; done; echo OK'`（判定第 1–5 条的运行证据：每个 case 单独运行时恰好执行了它自己，没有失败，也没有跳过；日志缺失同样判失败）
+- [x] `source .env.test && docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml --profile interop exec -T interop-smoke bash -c 'out=$(git ls-remote http://127.0.0.1:9000/project/hp25-view-smoke.git) && test -z "$out"'`（判定第 6 条；在默认栈已恢复时运行。不存在的路径在 v2 下只应答 flush，`ls-remote` 成功且无输出；种子如果误写进默认库，这里会列出 ref）
+- [x] `source .env.test && bash -c 'if rg -n -i "psql|redis-cli|5432|6379|db_url" scripts/libra_view_smoke.sh; then echo FAIL; exit 1; else rc=$?; [ "$rc" -eq 1 ] || exit "$rc"; echo OK; fi'`（零命中即通过；判定第 7 条）
+- [x] `source .env.test && bash -c 'c="docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml"; for p in views:artifacts_smoke_storage_only.sh local:libra_view_smoke.sh; do m=${p%%:*}; s=${p#*:}; id0=$($c ps -q mega2); scripts/bb_optin_run.sh "$m" "$s" view_unready "target/tmp/hp25-mismatch-$m.log"; rc=$?; [ -n "$id0" ] && [ "$rc" -eq 2 ] && [ "$($c ps -q mega2)" = "$id0" ] || { echo "FAIL: $m $s rc=$rc"; exit 1; }; done; echo OK'`（判定第 8 条；在默认栈运行、没有 helper 运行时执行。两种组合逐一运行，每次都要求退出码为 2、运行中 mega2 容器的 id 与运行前相同且非空；helper 一旦切栈，恢复时会以 `--force-recreate` 重建容器，id 随之改变）
+- [x] `source .env.test && bash -c "set -o pipefail; mkdir -p target/tmp/hp25 || exit 1; awk '/^## [0-9]+\. 本地 Compose 栈\$/{f=1;print;next} /^## /{f=0} f' docs/deploy-trunk.md > target/tmp/hp25/s8.md || exit 1; awk '/^### .*Libra 视图 smoke（opt-in）\$/{f=1;print;next} /^(## |### )/{f=0} f' docs/deploy-trunk.md > target/tmp/hp25/smoke.md || exit 1; test -s target/tmp/hp25/s8.md && test -s target/tmp/hp25/smoke.md || { echo 'FAIL: section missing'; exit 1; }; for s in \"scripts/bb_optin_run.sh <none|gc|local|views> <script> '<case>' target/tmp/<log>\" 脚本与模式不匹配 docker/docker-compose-storage-only.views.yml mega2_hp25_views 'Redis 逻辑库 1' libra_view_smoke.sh '--selftest views'; do rg -q -F -- \"\$s\" target/tmp/hp25/s8.md || { echo \"FAIL: s8: \$s\"; exit 1; }; done; for s in \"scripts/bb_optin_run.sh views libra_view_smoke.sh '<case>' target/tmp/hp25-<case>.log\" view_http_clone_fetch view_unready view_l0_mismatch 'git mktree' LIBRA_SSH_COMMAND StrictHostKeyChecking=yes DEP-HP-04 refactoring/history-projection.md '共用 RustFS bucket' 'DROP DATABASE IF EXISTS mega2_hp25_views' 'redis-cli -n 1 FLUSHDB'; do rg -q -F -- \"\$s\" target/tmp/hp25/smoke.md || { echo \"FAIL: smoke: \$s\"; exit 1; }; done; rg -q -- '^-- view-ops:' target/tmp/hp25/smoke.md; rc=\$?; [ \"\$rc\" -eq 1 ] || { echo \"FAIL: marker line rc=\$rc\"; exit 1; }; echo OK"`（打印 `OK` 且退出 0 即通过。先用 awk 切出两段：§8「本地 Compose 栈」整节，以及标题为 `### <n>.<k> Libra 视图 smoke（opt-in）` 的小节（到下一个 `## ` 或 `### ` 标题为止），任一段为空即失败。§8 段内要求命中 7 个固定字符串：用法行、`脚本与模式不匹配`、overlay 路径、`mega2_hp25_views`、`Redis 逻辑库 1`、`libra_view_smoke.sh`、`--selftest views`。小节内要求命中 12 个固定字符串：单 case 命令、三个 case 名、`git mktree`、`LIBRA_SSH_COMMAND`、`StrictHostKeyChecking=yes`、`DEP-HP-04`、设计文档的链接目标 `refactoring/history-projection.md`、`共用 RustFS bucket`、两条手工清理命令的关键片段。小节内不得有整行以 `-- view-ops:` 开头的行（`rg` 退出 1 才通过，0 或 2 都判失败）。任一字符串无命中或 `rg` 出错都判失败。这一行核对 Docs and compatibility impact 中 `docs/deploy-trunk.md` 各条目的固定标识；「前置」一条是叙述，不设字符串判据。2026-10-03 已在 zsh 与 bash 下用构造的文档核对：内容齐全时输出 `OK`；缺小节、缺任一字符串、小节含标记行时都以 1 退出）
 
 ER-04 强制门（A 组，不计入 VER，每条退出 0 即通过）：
 - 模板「仓库配置与 CI」行：本卡改了 `scripts/**`，按该行的展开规则列出 `.github/workflows/` 的 job，只有 `docker.yml` 的 `docker`，它不引用本卡的脚本，所以该行展开出的受影响 CI job 为无。`src/**`、协议与 LFS 代码未改，Git 协议行为 `N/A`。C 组的 `cargo test --all` 不包含本 smoke。
@@ -5696,6 +5697,8 @@ ER-04 强制门（A 组，不计入 VER，每条退出 0 即通过）：
 
 **Granularity:** `type=implementation; axis=Libra 与视图 URL 的互通（clone / fetch 成功路径与设计 §7.4 错误契约第 7 项，在隔离的 views 模式栈上判定）; recovery=前滚新 patch（只有脚本、compose overlay 与运维文档，mega2 二进制不变）; complete=yes; self-contained=yes; AC=8/8; VER=8/8; landing=2; prod-files=4; scope=M; deps=HP-23,HP-30,DEP-HP-01; writeset=docs/deploy-trunk.md 经 HP-23 的前置链晚于 HP-30、HP-14、HP-33、HP-21（本卡为最后一个写入者）；scripts/bb_optin_run.sh 按 DEP-HP-01 的协调规则与 plan-20261001 串行; release=independent; split-from=N/A; exception=N/A`
 
+**执行记录（2026-10-08）：** 本地 trunk 栈以当前源码重建并健康启动；`interop-smoke` 内的 Libra 为 `0.30.36`。官方发布的 Linux/arm64 二进制经分段下载后按签名清单的大小 79,922,104 字节与 SHA-256 `b1895a78666690928561683d95b53d95dfd0a83e50929974e7777ca2fb204020` 核对，镜像本地构建文件仅在忽略的 `target/tmp/hp25/` 下；仓库 Dockerfile 未改。最终脚本的 Verification 1–8 逐项退出 0（`target/tmp/hp25-ver-{1..8}-r4.rc`）；三个单 case 的日志分别为 `target/tmp/hp25-view_http_clone_fetch.log`、`target/tmp/hp25-view_unready.log`、`target/tmp/hp25-view_l0_mismatch.log`，均含独立 PASS、1/0/0 summary 与默认 config hash 恢复，helper 耗时分别为 54、102、54 秒。A 组容器内 shellcheck 与 `--selftest views` 退出 0，后者 34 秒并恢复默认栈（`target/tmp/hp25-shellcheck-r4.rc`、`target/tmp/hp25-selftest-r4.rc`）；46 份 `target/tmp/hp25-*.log` 均未含测试 token。nightly 格式与全目标全特性 Clippy 退出 0（`target/tmp/hp25-fmt-final.rc`、`target/tmp/hp25-clippy-r4.rc`）。首次原样 `source .env.test && cargo test --all` 在 `integration_api_write_trunk` 的既有 Artifacts 未认证 PUT 用例得 502 而非 401，70/71 通过（`target/tmp/hp25-test-all-final.log`）；该项精确复跑 1/1 通过，未修改用例；第二次原样完整测试 19 个 target 均通过、0 失败（`target/tmp/hp25-test-all-r2.log`、`.rc`）。`cargo build` 与 `cargo build --tests` 在 macOS 专用 `RUSTFLAGS=-C link-arg=-Wl,-no_warn_eh_frame_too_large` 下均退出 0 且 0 warnings（`target/tmp/hp25-build-r4.log`、`target/tmp/hp25-build-tests-r4.log`）。Claude 最终复审 `target/tmp/hp25-claude-review-r3.txt` 与 Codex 最终独立复核 `target/tmp/hp25-codex-review-r2.txt` 均为 `VERDICT: PASS`、P0 0、P1 0；Claude 的模式表对齐建议为纯排版，发布者接受为残余 P2；Codex 所指出的旧门状态已在本行及卡片状态中修正。版本 `v0.42.25` 由本卡承载，提交、标签和 Release 按 C 组第 5–8 步执行；D 组按发布者指令不等待、不查询。
+
 ### Task HP-26: P0 计划收口
 
 **Task type:** `docs`
@@ -6197,6 +6200,10 @@ Result 只允许 `PASS` 或 `FAIL`。`FAIL` 必须列出 P0/P1 条目，并在
 | FIXHP01-CODE-R3 | FIX-HP-01 提交 `9685337`，Codex CLI 独立只读复核 | PASS | P0 0；P1 0 | 锁内快路、预算保留、批写冲突回退和末批提交后返回均无阻断问题；第二 Claude 视角也 PASS | `target/tmp/view_bench/preflight/fix-codex-review.txt`、`fix-second-review.txt`；`VERDICT: PASS` |
 | HP24-R1 | HP-24 冻结基准、正式证据、设计 §7.2 与任务卡，Claude CLI 独立只读复核 | PASS | P0 0；P1 0 | P2：隔离诊断目录的 (c) FAIL 已在执行记录明示；(c) 对单次冷启动的敏感性已记录。探针校验只需满足卡片约束，冻结文件的具体模板已登记；卡状态在发布窗口更新 | `target/tmp/view_bench/preflight/hp24-claude-review-r1.txt`；`VERDICT: PASS` |
 | HP24-R2 | HP-24 计量口径、证据来源、四项判据、顶格上限与清理，Codex CLI 独立只读复核 | PASS | P0 0；P1 0 | 卡状态与验收勾选留待本卡发布窗口；正式证据的 (b) 1.24145、(c) 0.88864、(d) 61/100 与顶格 p95 27295/1000000 已独立核算 | `target/tmp/view_bench/preflight/hp24-codex-review-r1.txt`；`VERDICT: PASS` |
+| HP25-R1 | HP-25 初版脚本、overlay 与运维文档，Claude CLI 只读复核 | PASS | P0 0；P1 0 | P2：临时文件清理、prepare compose overlay 和卡片状态均已修正 | `target/tmp/hp25-claude-review-r1.txt`；`VERDICT: PASS` |
+| HP25-R2 | HP-25 第一轮完整本地证据与措辞，Claude CLI 只读复核 | PASS | P0 0；P1 0 | P2：白名单拒绝文本和运维文档 L0 断言措辞已修正；日志时间戳疑虑以最终 r4 证据关闭 | `target/tmp/hp25-claude-review-r2.txt`；`VERDICT: PASS` |
+| HP25-R3 | HP-25 最终脚本、8 项验证、19 target 全量测试与残余建议，Claude CLI 只读复核 | PASS | P0 0；P1 0 | P2：模式表 `views` 行空格不齐为纯排版，发布者接受；审核时第二构建尚在进行，随后 `target/tmp/hp25-build-tests-r4.rc` 为 0 且无 warning | `target/tmp/hp25-claude-review-r3.txt`；`VERDICT: PASS` |
+| HP25-R4 | HP-25 独立 Codex 初次及最终只读复核 | PASS | P0 0；P1 0 | 初次 P2：最终文件证据与 L0 ERR/tree 同行断言均在 r4 前关闭；最终 P2：卡片 C 组状态过期，已在本次状态与执行记录中修正 | `target/tmp/hp25-codex-review-r1.txt`、`target/tmp/hp25-codex-review-r2.txt`；均 `VERDICT: PASS` |
 
 ## 非目标与延后项
 
diff --git a/scripts/bb_optin_run.sh b/scripts/bb_optin_run.sh
index a5f53cc4..0ddc1dec 100755
--- a/scripts/bb_optin_run.sh
+++ b/scripts/bb_optin_run.sh
@@ -1,26 +1,28 @@
 #!/usr/bin/env bash
-# Host-side helper that runs one opt-in smoke case of plan-20261001 on a
-# temporarily switched mega2 and always restores the default stack
+# Host-side helper that runs one opt-in smoke case on a temporarily switched
+# mega2 and always restores the default stack
 # (ADR-BB-06).
 #
 # Usage:
-#   scripts/bb_optin_run.sh <none|gc|local> <script> <case> <log>
-#   scripts/bb_optin_run.sh --selftest <none|gc|local> <log>
+#   scripts/bb_optin_run.sh <none|gc|local|views> <script> <case> <log>
+#   scripts/bb_optin_run.sh --selftest <none|gc|local|views> <log>
 #
 # Modes (mega2 is recreated with --force-recreate):
 #   none   overlay docker/docker-compose-storage-only.auth-none.yml (push_auth=none)
 #   gc     --env-file config/compose.env.storage-only.artifacts-gc
 #   local  --env-file config/compose.env.storage-only.local (local object storage)
+#   views overlay docker/docker-compose-storage-only.views.yml (isolated views stack)
 #
 # The case runs inside the `interop-smoke` service with its opt-in switch set
-# (MEGA2_SMOKE_AUTH_NONE / MEGA2_SMOKE_ARTIFACTS_GC / MEGA2_SMOKE_LOCAL_STORAGE)
+# (MEGA2_SMOKE_AUTH_NONE / MEGA2_SMOKE_ARTIFACTS_GC /
+# MEGA2_SMOKE_LOCAL_STORAGE / MEGA2_SMOKE_VIEWS)
 # and its output is tee'd to <log>. After the switch, and again after an
 # EXIT trap recreates mega2 with the default configuration, the helper reads
 # the compose config-hash label of the running mega2 container: it must equal
 # the switched configuration's hash before the case runs, and the default
 # configuration's hash (recorded before the switch) after restoration.
 #
-# <script> must be one of the three plan-20261001 smoke entrypoints, and a
+# <script> must be an allowed smoke entrypoint for its mode, and a
 # zero exit is only accepted when the log holds `PASS: <case>`.
 #
 # --selftest runs a stub instead of a smoke script: it prints
@@ -82,9 +84,13 @@ case "$mode" in
         switched_args=(--env-file "$CONFIG_DIR/compose.env.storage-only.local")
         switch_var=MEGA2_SMOKE_LOCAL_STORAGE
         ;;
+    views)
+        switched_args=(-f docker/docker-compose-storage-only.views.yml)
+        switch_var=MEGA2_SMOKE_VIEWS
+        ;;
     *)
         echo "bb-optin: unknown mode '$mode'; nothing switched" >&2
-        echo "usage: $0 <none|gc|local> <script> <case> <log> | --selftest <mode> <log>" >&2
+        echo "usage: $0 <none|gc|local|views> <script> <case> <log> | --selftest <mode> <log>" >&2
         exit 2
         ;;
 esac
@@ -102,12 +108,17 @@ if [ "$selftest" -eq 0 ]; then
         exit 2
     fi
     case "$script" in
-        oci_client_smoke_storage_only.sh|artifacts_smoke_storage_only.sh|libra_smoke_storage_only.sh) ;;
+        oci_client_smoke_storage_only.sh|artifacts_smoke_storage_only.sh|libra_smoke_storage_only.sh|libra_view_smoke.sh) ;;
         *)
-            echo "bb-optin: '$script' is not a plan-20261001 smoke entrypoint; nothing switched" >&2
+            echo "bb-optin: '$script' is not an allowed smoke entrypoint; nothing switched" >&2
             exit 2
             ;;
     esac
+    if { [ "$mode" = views ] && [ "$script" != libra_view_smoke.sh ]; } \
+        || { [ "$mode" != views ] && [ "$script" = libra_view_smoke.sh ]; }; then
+        echo "bb-optin: script '$script' does not match mode '$mode'; nothing switched" >&2
+        exit 2
+    fi
     if [ ! -f "scripts/$script" ]; then
         echo "bb-optin: scripts/$script not found; nothing switched" >&2
         exit 2
@@ -126,6 +137,7 @@ umask 077
 : > "$log"
 chmod 600 "$log"
 say() { echo "$*" | tee -a "$log"; }
+start_seconds=$SECONDS
 
 config_hash() {
     "$@" config --hash mega2 | awk '{print $2}'
@@ -155,6 +167,9 @@ restore() {
     if [ "$FAULT" = "unhealthy" ]; then up_rc=99; fi
     if [ "$FAULT" = "hash" ]; then after="fault-injected"; fi
     rmdir "$LOCK_DIR"
+    if [ "$mode" = views ]; then
+        say "bb-optin: views elapsed $((SECONDS - start_seconds))s"
+    fi
     if [ "$up_rc" -eq 0 ] && [ "$after" = "$default_hash" ]; then
         say "bb-optin: restored mega2 (config hash match)"
         exit "$rc"
@@ -164,6 +179,13 @@ restore() {
 }
 trap restore EXIT
 
+if [ "$mode" = views ]; then
+    if ! scripts/libra_view_smoke_setup.sh reset >> "$log" 2>&1; then
+        say "bb-optin: views setup reset failed"
+        exit 1
+    fi
+fi
+
 if [ "$SWITCH_FAULT" != "stale" ]; then
     "${COMPOSE[@]}" "${switched_args[@]}" up -d --wait --no-deps --force-recreate mega2 >> "$log" 2>&1
 fi
@@ -179,6 +201,13 @@ if [ "$running" != "$switched_hash" ]; then
 fi
 say "bb-optin: switched config hash $default_hash != $running"
 
+if [ "$mode" = views ] && [ "$selftest" -eq 0 ]; then
+    if ! scripts/libra_view_smoke_setup.sh prepare >> "$log" 2>&1; then
+        say "bb-optin: views setup prepare failed"
+        exit 1
+    fi
+fi
+
 set +e
 if [ "$selftest" -eq 1 ]; then
     # shellcheck disable=SC2016  # the script body is expanded inside the container
diff --git a/scripts/libra_view_smoke.sh b/scripts/libra_view_smoke.sh
new file mode 100755
index 00000000..353a214f
--- /dev/null
+++ b/scripts/libra_view_smoke.sh
@@ -0,0 +1,145 @@
+#!/usr/bin/env bash
+# Opt-in Libra black-box smoke for ready, unavailable, and inconsistent views.
+set -uo pipefail
+
+SCRIPT_DIR="${BASH_SOURCE[0]%/*}"
+[ "$SCRIPT_DIR" = "${BASH_SOURCE[0]}" ] && SCRIPT_DIR=.
+# shellcheck source=scripts/lib/smoke-runner.sh disable=SC1091
+source "$SCRIPT_DIR/lib/smoke-runner.sh"
+
+smoke_init "libra view"
+require_tools libra git curl jq date sort ssh-keyscan ssh timeout
+version=$(libra --version) || smoke_die 'cannot read libra version'
+printf '%s\n' "$version"
+[[ "$version" =~ ^libra[[:space:]]+([0-9]+\.[0-9]+\.[0-9]+)$ ]] \
+    || smoke_die 'unrecognized libra version'
+printf '0.30.8\n%s\n' "${BASH_REMATCH[1]}" | sort -V -C \
+    || smoke_die 'libra 0.30.8 or newer is required'
+
+RUN_ID="$(date -u +%Y%m%dt%H%M%S)$RANDOM"
+WORK="/work/hp25-${RUN_ID}"
+umask 077
+mkdir -p "$WORK/.ssh" "$WORK/bin" || smoke_die 'cannot create isolated work directory'
+trap 'rm -rf -- "$WORK"' EXIT
+export HOME="$WORK" XDG_CONFIG_HOME="$WORK/config"
+export GIT_CONFIG_NOSYSTEM=1 GIT_CONFIG_GLOBAL=/dev/null
+
+BASE_URL=http://127.0.0.1:9000
+HTTP_VIEW="$BASE_URL/.view"
+SSH_VIEW=ssh://git@127.0.0.1:2222/.view
+
+show_error() {
+    redact "${MEGA2_IT_SEED_TOKEN:-}" < "$1" >&2
+}
+
+prepare_ssh() {
+    ssh-keyscan -T 5 -p 2222 127.0.0.1 > "$WORK/.ssh/known_hosts" 2>/dev/null
+    [ -s "$WORK/.ssh/known_hosts" ] || { echo 'SSH host key scan failed' >&2; return 1; }
+    cat > "$WORK/bin/hp25-ssh" <<EOF
+#!/bin/sh
+exec ssh -o UserKnownHostsFile=$WORK/.ssh/known_hosts -o StrictHostKeyChecking=yes "\$@"
+EOF
+    chmod 0755 "$WORK/bin/hp25-ssh"
+    export LIBRA_SSH_COMMAND="$WORK/bin/hp25-ssh"
+}
+
+remote_head() {
+    local ref
+    ref=$(timeout 10 git ls-remote "$1" HEAD) || return 1
+    [[ "$ref" == *$'\t'HEAD ]] || return 1
+    printf '%s\n' "${ref%%$'\t'*}"
+}
+
+view_http_clone_fetch() {
+    local url="$HTTP_VIEW/hp25-ok@1.git" before after got code deadline
+    local token="${MEGA2_IT_SEED_TOKEN:-}"
+    [ -n "$token" ] || { echo 'seed token is missing' >&2; return 1; }
+    if ! timeout 60 libra clone "$url" "$WORK/ready" > "$WORK/ready-clone.out" 2>&1; then
+        show_error "$WORK/ready-clone.out"
+        return 1
+    fi
+    before=$(remote_head "$url") || { echo 'git observer cannot read ready view' >&2; return 1; }
+    got=$(cd "$WORK/ready" && libra rev-parse HEAD) || return 1
+    [ "$got" = "$before" ] || { echo 'Libra clone HEAD differs from git observer' >&2; return 1; }
+
+    jq -n --arg name "hp25-${RUN_ID}.txt" --arg content "$RUN_ID" \
+        '{is_directory:false,path:"/project/hp25-view-smoke/ok",name:$name,content:$content}' \
+        > "$WORK/create.json"
+    code=$(curl -sS --connect-timeout 5 --max-time 30 \
+        -H "Authorization: Bearer $token" -H 'Content-Type: application/json' \
+        --data @"$WORK/create.json" -o "$WORK/create.out" -w '%{http_code}' \
+        "$BASE_URL/api/v1/create-entry")
+    if [ "$code" != 200 ] || ! jq -e '.req_result == true' "$WORK/create.out" >/dev/null; then
+        echo "create-entry failed (HTTP $code)" >&2
+        return 1
+    fi
+    deadline=$((SECONDS + 30))
+    after="$before"
+    while [ "$SECONDS" -lt "$deadline" ]; do
+        after=$(remote_head "$url" 2>/dev/null) || after="$before"
+        [ "$after" != "$before" ] && break
+        sleep 1
+    done
+    [ "$after" != "$before" ] || { echo 'ready view did not advance' >&2; return 1; }
+    if ! (cd "$WORK/ready" && timeout 30 libra fetch origin) > "$WORK/ready-fetch.out" 2>&1; then
+        show_error "$WORK/ready-fetch.out"
+        return 1
+    fi
+    got=$(cd "$WORK/ready" && libra rev-parse origin/main) || return 1
+    [ "$got" = "$after" ] || { echo 'Libra origin/main differs from git observer' >&2; return 1; }
+    printf 'view HEAD: %s -> %s\n' "$before" "$after"
+}
+
+view_unready() {
+    local url="$HTTP_VIEW/hp25-unready@1.git"
+    if timeout 75 libra clone "$url" "$WORK/unready-http" > "$WORK/unready-http.out" 2>&1; then
+        echo 'Libra HTTP clone unexpectedly succeeded' >&2
+        return 1
+    fi
+    grep -qF 'HTTP 503' "$WORK/unready-http.out" \
+        || { show_error "$WORK/unready-http.out"; return 1; }
+    prepare_ssh
+    if timeout 30 libra clone "$SSH_VIEW/hp25-unready@1.git" "$WORK/unready-ssh" \
+        > "$WORK/unready-ssh.out" 2>&1; then
+        echo 'Libra SSH clone unexpectedly succeeded' >&2
+        return 1
+    fi
+    grep -qF 'status 75' "$WORK/unready-ssh.out" \
+        || { show_error "$WORK/unready-ssh.out"; return 1; }
+    if timeout 10 git ls-remote "$url" > "$WORK/unready-git.out" 2>&1; then
+        echo 'unready view became readable' >&2
+        return 1
+    fi
+    grep -qF 'returned error: 503' "$WORK/unready-git.out" \
+        || { show_error "$WORK/unready-git.out"; return 1; }
+}
+
+view_l0_mismatch() {
+    local blob tree output name url
+    mkdir "$WORK/l0-recompute"
+    git -C "$WORK/l0-recompute" init -q
+    blob=$(printf 'hp25 fixed tree entry\n' | git -C "$WORK/l0-recompute" hash-object -w --stdin)
+    tree=$(printf '100664 blob %s\tbad.txt\n' "$blob" | git -C "$WORK/l0-recompute" mktree)
+    prepare_ssh
+    for name in http ssh; do
+        if [ "$name" = http ]; then
+            url="$HTTP_VIEW/hp25-l0@1.git"
+        else
+            url="$SSH_VIEW/hp25-l0@1.git"
+        fi
+        output="$WORK/l0-$name.out"
+        if timeout 30 libra clone "$url" "$WORK/l0-$name" > "$output" 2>&1; then
+            echo "Libra $name clone unexpectedly succeeded" >&2
+            return 1
+        fi
+        if ! awk -v tree="$tree" 'index($0, "remote reported an error:") && index($0, tree) { found = 1 } END { exit !found }' "$output"; then
+            show_error "$output"
+            return 1
+        fi
+    done
+}
+
+optin_case view_http_clone_fetch MEGA2_SMOKE_VIEWS view_http_clone_fetch
+optin_case view_unready MEGA2_SMOKE_VIEWS view_unready
+optin_case view_l0_mismatch MEGA2_SMOKE_VIEWS view_l0_mismatch
+finish
diff --git a/scripts/libra_view_smoke_setup.sh b/scripts/libra_view_smoke_setup.sh
new file mode 100755
index 00000000..9451d442
--- /dev/null
+++ b/scripts/libra_view_smoke_setup.sh
@@ -0,0 +1,115 @@
+#!/usr/bin/env bash
+# Host-side setup for the opt-in Libra view smoke. The seed/register subcommands
+# run inside interop-smoke so HTTP and git use the same loopback relay as cases.
+set -euo pipefail
+
+DB=mega2_hp25_views
+REDIS_DB=1
+case "${1:-}" in
+    seed|register)
+        BASE_URL=http://127.0.0.1:9000
+        TOKEN="${MEGA2_IT_SEED_TOKEN:-}"
+        [ -n "$TOKEN" ] || { echo 'hp25 setup: seed token is missing' >&2; exit 1; }
+        export GIT_CONFIG_NOSYSTEM=1 GIT_CONFIG_GLOBAL=/dev/null
+
+        register_view() {
+            local spec="$1" name="$2" code id
+            local body="$WORK/register.json"
+            jq -n --arg filter_spec "$spec" --arg name "$name" \
+                '{filter_spec: $filter_spec, name: $name}' > "$body.request"
+            code=$(curl -sS --connect-timeout 5 --max-time 30 \
+                -H "Authorization: Bearer $TOKEN" -H 'Content-Type: application/json' \
+                --data @"$body.request" -o "$body" -w '%{http_code}' \
+                "$BASE_URL/api/v1/views?wait=true")
+            if [ "$code" != 200 ] || ! jq -e '.data.ready == true and .data.version == 1' "$body" >/dev/null; then
+                echo "hp25 setup: registration failed (HTTP $code)" >&2
+                return 1
+            fi
+            id=$(jq -r '.data.filter_id' "$body")
+            [[ "$id" =~ ^[0-9a-f]{64}$ ]] || { echo 'hp25 setup: invalid filter ID' >&2; return 1; }
+            printf '%s\n' "$id"
+        }
+
+        if [ "$1" = register ]; then
+            WORK=$(mktemp -d /work/hp25-register.XXXXXX)
+            trap 'rm -rf -- "$WORK"' EXIT
+            case "${2:-}" in
+                ok) register_view ':/project/hp25-view-smoke/ok' hp25-ok ;;
+                l0) register_view ':/project/hp25-view-smoke/l0' hp25-l0 ;;
+                *) echo 'hp25 setup: unknown registration' >&2; exit 2 ;;
+            esac
+            exit
+        fi
+
+        WORK=$(mktemp -d /work/hp25-setup.XXXXXX)
+        trap 'rm -rf -- "$WORK"' EXIT
+        code=$(curl -sS --connect-timeout 5 --max-time 30 \
+            -H "Authorization: Bearer $TOKEN" -H 'Content-Type: application/json' \
+            --data '{"path":"/project/hp25-view-smoke"}' -o "$WORK/provision.json" \
+            -w '%{http_code}' "$BASE_URL/api/v1/path/provision")
+        [ "$code" = 200 ] || { echo "hp25 setup: provision failed (HTTP $code)" >&2; exit 1; }
+
+        git clone -q "$BASE_URL/project/hp25-view-smoke.git" "$WORK/repo" \
+            >/dev/null 2>&1 || { echo 'hp25 setup: seed clone failed' >&2; exit 1; }
+        parent=$(git -C "$WORK/repo" rev-parse HEAD)
+        blob=$(printf 'hp25 fixed tree entry\n' | git -C "$WORK/repo" hash-object -w --stdin)
+        ok=$(printf '100644 blob %s\tok.txt\n' "$blob" | git -C "$WORK/repo" mktree)
+        unready=$(printf '100644 blob %s\tunready.txt\n' "$blob" | git -C "$WORK/repo" mktree)
+        l0=$(printf '100664 blob %s\tbad.txt\n' "$blob" | git -C "$WORK/repo" mktree)
+        root=$(printf '040000 tree %s\tl0\n040000 tree %s\tok\n040000 tree %s\tunready\n' \
+            "$l0" "$ok" "$unready" | git -C "$WORK/repo" mktree)
+        commit=$(printf 'HP-25 view smoke seed\n' | \
+            GIT_AUTHOR_NAME='Mega2 Smoke' GIT_AUTHOR_EMAIL='mega2-smoke@example.invalid' \
+            GIT_COMMITTER_NAME='Mega2 Smoke' GIT_COMMITTER_EMAIL='mega2-smoke@example.invalid' \
+            git -C "$WORK/repo" commit-tree "$root" -p "$parent")
+        git -C "$WORK/repo" -c "http.extraHeader=Authorization: Bearer $TOKEN" \
+            push -q origin "$commit:refs/heads/main" >/dev/null 2>&1 \
+            || { echo 'hp25 setup: seed push failed' >&2; exit 1; }
+        register_view ':/project/hp25-view-smoke/unready' hp25-unready
+        ;;
+    reset|prepare)
+        ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
+        cd "$ROOT"
+        COMPOSE=(docker compose -p mega2-trunk -f docker/docker-compose-storage-only.yml)
+        if [ -z "$DB" ] || [ "$DB" = mega2 ] || [ -z "$REDIS_DB" ] || [ "$REDIS_DB" = 0 ]; then
+            echo 'hp25 setup: unsafe isolation constants' >&2
+            exit 1
+        fi
+        if [ "$1" = reset ]; then
+            "${COMPOSE[@]}" exec -T postgres psql -U mega2 -d postgres -v ON_ERROR_STOP=1 \
+                -c "DROP DATABASE IF EXISTS $DB WITH (FORCE)"
+            "${COMPOSE[@]}" exec -T postgres psql -U mega2 -d postgres -v ON_ERROR_STOP=1 \
+                -c "CREATE DATABASE $DB"
+            "${COMPOSE[@]}" exec -T redis redis-cli -n "$REDIS_DB" FLUSHDB
+            exit
+        fi
+
+        COMPOSE+=(-f docker/docker-compose-storage-only.views.yml)
+        "${COMPOSE[@]}" exec -T mega2 mega2 --config /etc/mega2/config.toml service init --yes
+        id=$("${COMPOSE[@]}" --profile interop exec -T interop-smoke \
+            bash /repo/scripts/libra_view_smoke_setup.sh seed)
+        [[ "$id" =~ ^[0-9a-f]{64}$ ]] || { echo 'hp25 setup: invalid seed filter ID' >&2; exit 1; }
+        "${COMPOSE[@]}" stop mega2
+        sql=$(awk '
+            $0 == "```sql" {
+                if (getline <= 0) exit 1
+                if ($0 == "-- view-ops: recycle-filter") { matches++; copy = 1; print; next }
+            }
+            copy && $0 == "```" { copy = 0; next }
+            copy { print }
+            END { if (matches != 1 || copy) exit 1 }
+        ' docs/deploy-trunk.md) || { echo 'hp25 setup: recycle SQL marker is not unique' >&2; exit 1; }
+        sql=${sql//<filter_id>/$id}
+        printf '%s\n' "$sql" | "${COMPOSE[@]}" exec -T postgres \
+            psql -U mega2 -d "$DB" -v ON_ERROR_STOP=1 -f -
+        "${COMPOSE[@]}" up -d --wait --no-deps --no-recreate mega2
+        "${COMPOSE[@]}" --profile interop exec -T interop-smoke \
+            bash /repo/scripts/libra_view_smoke_setup.sh register ok >/dev/null
+        "${COMPOSE[@]}" --profile interop exec -T interop-smoke \
+            bash /repo/scripts/libra_view_smoke_setup.sh register l0 >/dev/null
+        ;;
+    *)
+        echo 'usage: libra_view_smoke_setup.sh <reset|prepare|seed|register ok|register l0>' >&2
+        exit 2
+        ;;
+esac