diff --git a/docs/Disaggregated/notes/p8/A.md b/docs/Disaggregated/notes/p8/A.md
index 2afce33a..30124e29 100644
--- a/docs/Disaggregated/notes/p8/A.md
+++ b/docs/Disaggregated/notes/p8/A.md
@@ -6,7 +6,7 @@
 
 - 门改为「归一化后 monolith ⊆ 门控 split ∪ 豁免表」，由 `scripts/ci/split_coverage.py` 强制；`test.yml` 在 parity 步之后跑它（含 `--self-test`）。
 - 当前读数：DirectGLES monolith 669 例 = 门控 split 581 + 豁免 88，缺 0；DirectVulkan 669 = 门控 202 + 仅信息层 435 + 豁免 32，缺 0。
-- 按 gtest 名只在 monolith 的 DirectGLES 用例是 335（审计的 396 按 TEST_F 计，含它自己列出的约 45 个已带尾登记在 split 的「命名假象」）；去掉机制过滤器（`MobileGL/MG_IntegrationTest/CMakeLists.txt:792`）的 31 例后 304 例进普查。
+- 按 gtest 名只在 monolith 的 DirectGLES 用例是 335（审计的 396 按 TEST_F 计，含它自己列出的约 45 个已带尾登记在 split 的「命名假象」）；去掉机制过滤器（`MobileGL/MG_IntegrationTest/CMakeLists.txt:796`）的 31 例后 304 例进普查。
 - 本包新登记：246 个 ambient 用例 × 三臂；5 条 server 旋钮车道共 21 例 × 三臂（tcp 各有自己的 supervisor）；撤 `ClientSideIndices` 排除（d1 块三臂 + 5 个 multi-draw tier）；GuiBatch 随 ambient 登记。
 - 审计 (c′) 的「进程内 peek」类实测为 0：P4aFinalFix / P4aSeamAudit 在 spawn / tcp 上 white-box 读取自行降级，public-GL 半边照跑，三臂全绿，已登记。
 - DoublePrecision 12 例在同环境的 loopback tcp 上绿，已登记；`DEBTS.md` 的 fp64 行说的是 server 环境与 client 不同（`MOBILEGL_ADVERTISE_FP64`），本机没测到那一形。
@@ -34,9 +34,9 @@
 | `WidenedPacked16.` | `MOBILEGL_ESPRYT_WIDEN_PACKED16_STORAGE=1` | 3 | `MobileGL/ConfigLoader.cpp:264` | 绿（无 arming 例，走的是默认臂） | 绿 |
 | `ForcedDs.` | `MOBILEGL_ESPRYT_FORCE_DS_READBACK_EMULATION=1` | 9（tcp 另含 Matrix 14） | `MobileGL/ConfigLoader.cpp:249` | 绿（无 arming 例，走的是原生回读） | 绿 |
 
-- 共享 fixture 不能带这些旋钮：会改掉所有 tcp 例（视口仿真关掉即 ViewportArray 正例红）。先例 `MobileGL/MG_IntegrationTest/CMakeLists.txt:2164` 只对三臂本来都设的开关成立。
+- 共享 fixture 不能带这些旋钮：会改掉所有 tcp 例（视口仿真关掉即 ViewportArray 正例红）。先例 `MobileGL/MG_IntegrationTest/CMakeLists.txt:2168` 只对三臂本来都设的开关成立。
 - supervisor 端口 = lane 端点端口 + `MOBILEGL_ITEST_TCP_KNOB_PORT_OFFSET`（默认 1000）+ 车道序号；fixture 名 `mobilegl-tcp-p8a-<lane>`；条目仍持 `RESOURCE_LOCK mobilegl-tcp`（parity / junit_tally 的 tcp 锁规则）。
-- 既有 `DirectGLES.Tcp.ForcedDs.DepthStencilReadbackMatrixScenario.*` 14 例原先旋钮只在 client 环境（server 跑原生回读）；同名条目移到 `ForcedDs` supervisor，旧块只留 Split / Spawn（`MobileGL/MG_IntegrationTest/CMakeLists.txt:2648`）。
+- 既有 `DirectGLES.Tcp.ForcedDs.DepthStencilReadbackMatrixScenario.*` 14 例原先旋钮只在 client 环境（server 跑原生回读）；同名条目移到 `ForcedDs` supervisor，旧块只留 Split / Spawn（`MobileGL/MG_IntegrationTest/CMakeLists.txt:2652`）。
 - 5 个旋钮都是 Espryt 的，车道不上 DirectVulkan。
 
 ## 4. 豁免表 `scripts/data/split_coverage_exemptions.txt`
@@ -58,9 +58,9 @@
 | `split_coverage.py` 按名 | 从 `P8Coverage.cmake` 删 `GuiBatchScenario.*` 一行，重 cmake + ninja | `split_coverage.py build-split` | rc 1，`missing 9`，逐个点名 `DirectGLES.GuiBatchScenario.*` |
 | 过期行规则 | `elif needed == 0` → `elif False` | `--self-test` | rc 1，「a stale exemption reds: rc 0 (want 1)」 |
 | 旋钮 supervisor | 5 个 fixture 的 `ENVIRONMENT` 去掉旋钮，重 cmake | 三条车道的 `DirectGLES.Tcp.` 条目（15 例） | 红 4（§3 三车道的 arming / 负控）；恢复后 15 绿 |
-| `ClientSideIndices` 守住 client 拼平 | `MobileGL/MG_Impl/Pipe/OwnedDrawInputs.h:51` 由清 `kDrawHasUserIndices` 改为置位 | `ctest -R ClientSideIndicesBatchMatchesUnrolledDraws` | Split / Spawn / Tcp 与 5 个 tier、Magma 各 split 臂共 14 例 abort：client `Fatal{ProtocolCorruption, "EncodeRecord.tailBytes"} got=0 expected=32`（`MobileGL/MG_Remote/Wire/PipeWireCodec.cpp:1107`）；monolith 两后端绿 |
+| `ClientSideIndices` 守住 client 拼平 | `MobileGL/MG_Impl/Pipe/OwnedDrawInputs.h:51` 由清 `kDrawHasUserIndices` 改为置位 | `ctest -R ClientSideIndicesBatchMatchesUnrolledDraws` | Split / Spawn / Tcp 与 5 个 tier、Magma 各 split 臂共 14 例 abort：client `Fatal{ProtocolCorruption, "EncodeRecord.tailBytes"} got=0 expected=32`（`MobileGL/MG_Remote/Wire/PipeWireCodec.cpp:1108`）；monolith 两后端绿 |
 
-- 第 4 行不是 brief 预期的 `PipeApplier.cpp:972-975` 闩：client 已无产生 user-index span 的代码，只把第 51 行删掉（不清位）全绿；而 server 解码在进 sink 前对 `NumDraws != 1` 的 span 报 `ProtocolCorruption "DrawVbo.userIndices.shape"`（`MobileGL/MG_Remote/Wire/PipeWireCodec.cpp:622-623`，调用 `:2412`），所以 `CLIENT_INDICES` 闩对任何 peer 都不可达；`+INSTANCED` 闩（`MobileGL/MG_Remote/Server/PipeApplier.cpp:976`）仍可达。交 P8-F。
+- 第 4 行不是 brief 预期的 `PipeApplier.cpp:975-978` 闩：client 已无产生 user-index span 的代码，只把第 51 行删掉（不清位）全绿；而 server 解码在进 sink 前对 `NumDraws != 1` 的 span 报 `ProtocolCorruption "DrawVbo.userIndices.shape"`（`MobileGL/MG_Remote/Wire/PipeWireCodec.cpp:623-624`，调用 `:2413`），所以 `CLIENT_INDICES` 闩对任何 peer 都不可达；`+INSTANCED` 闩（`MobileGL/MG_Remote/Server/PipeApplier.cpp:979`）仍可达。交 P8-F。
 - 车道耗时（本树，`-j 6`，七棵树同时在跑）：
 
 | 车道 | 前 | 后 |
@@ -70,19 +70,19 @@
 | integration-tcp | 348 例 101 s | 626 例 248 s |
 | integration-magma-all-split / spawn / tcp（信息层） | — | 556 / 556 / 558 例，45 / 57 / 199 s |
 
-- Magma 门控车道本包未加；新登记经 tier-2 回放自动进入 `integration-magma-all-*`（`MobileGL/MG_IntegrationTest/CMakeLists.txt:4724`）。
+- Magma 门控车道本包未加；新登记经 tier-2 回放自动进入 `integration-magma-all-*`（`MobileGL/MG_IntegrationTest/CMakeLists.txt:4952`）。
 
 ## 6. 发现
 
 | 项 | 臂 / 后端 | 证据 | 去向 |
 |---|---|---|---|
-| `DepthStencilReadbackAttachmentShapeScenario.DefaultFramebufferDepthStencilFormatIsBlitCompatible`：默认 framebuffer 的深度 blit 出来是 0 | Espryt spawn + tcp（inproc 绿；Magma 三臂绿；带不带 FORCE_DS 都红） | 普查 junit；server 是 pbuffer 128×96，EGL config 要了 depth 24 / stencil 8（`MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:16146`），根因未追到 | pending-fix；需集成方加 `DEBTS.md` 行（不属 B / C / D / E） |
-| tcp 共享 supervisor 没有 Vulkan ICD 与 iterationRP 修复开关（`MobileGL/MG_IntegrationTest/CMakeLists.txt:344-347` 只进 client 环境） | Magma tcp（tier 2 / tier 3） | `DirectVulkan.Tcp{,.Full}.IterationRPProgram203Scenario` 差 1 texel，Split / Spawn 绿 | 已修（测试接线）：`TcpServer.Start` 带上 `MGL_ITEST_VULKAN_ENV` 中非 common 的项（`MobileGL/MG_IntegrationTest/CMakeLists.txt:2159-2165`）；IterationRP 全部 78 条绿 |
+| `DepthStencilReadbackAttachmentShapeScenario.DefaultFramebufferDepthStencilFormatIsBlitCompatible`：默认 framebuffer 的深度 blit 出来是 0 | Espryt spawn + tcp（inproc 绿；Magma 三臂绿；带不带 FORCE_DS 都红） | 普查 junit；server 是 pbuffer 128×96，EGL config 要了 depth 24 / stencil 8（`MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:16498`），根因未追到 | pending-fix；需集成方加 `DEBTS.md` 行（不属 B / C / D / E） |
+| tcp 共享 supervisor 没有 Vulkan ICD 与 iterationRP 修复开关（`MobileGL/MG_IntegrationTest/CMakeLists.txt:348-351` 只进 client 环境） | Magma tcp（tier 2 / tier 3） | `DirectVulkan.Tcp{,.Full}.IterationRPProgram203Scenario` 差 1 texel，Split / Spawn 绿 | 已修（测试接线）：`TcpServer.Start` 带上 `MGL_ITEST_VULKAN_ENV` 中非 common 的项（`MobileGL/MG_IntegrationTest/CMakeLists.txt:2163-2169`）；IterationRP 全部 78 条绿 |
 | `CLIENT_INDICES` server 闩不可达 | 两后端 | §5 | P8-F |
 | monolith 缺陷 | — | 本包未发现 | — |
 
 ## 7. 给集成方
 
-- `P8Coverage.cmake` 的 include（`MobileGL/MG_IntegrationTest/CMakeLists.txt:4671-4674`）必须在 tier-2 回放与 `SplitLogPaths` 的 `configure_file`（`:5079`）之前；解冲突时不要移到它们下面。
+- `P8Coverage.cmake` 的 include（`MobileGL/MG_IntegrationTest/CMakeLists.txt:4826-4829`）必须在 tier-2 回放与 `SplitLogPaths` 的 `configure_file`（`:5307`）之前；解冲突时不要移到它们下面。
 - `gate.sh` hygiene 可加：`python3 scripts/ci/split_coverage.py --self-test && python3 scripts/ci/split_coverage.py build-split`。
 - 其他包新登记 split 用例后，对应的 pending-fix / 缺口行会被脚本判为过期，需同提交删行。
diff --git a/docs/Disaggregated/notes/p8/B.md b/docs/Disaggregated/notes/p8/B.md
index cb7334bb..5debc41c 100644
--- a/docs/Disaggregated/notes/p8/B.md
+++ b/docs/Disaggregated/notes/p8/B.md
@@ -6,23 +6,23 @@
 
 | 名 | 基线（split 臂） | 本包之后 | 位置 |
 |---|---|---|---|
-| `generate-mipmap-storage`（split 检查） | 描述符层数少于「从 level 0 起的整链」即 `Fatal{UnmigratedEmulation}`：MAX_LEVEL 偏小、`glTexStorage2D` 层数不足（合法 GL） | 删；生成窗口 = 记录的计划 | `MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:11644` |
-| `generate-mipmap-cpu-filter` | RGB16F / RGB32F 生成一律 Fatal | 删；先原生 `glGenerateMipmap`，驱动拒绝或旋钮强制时 server 从自己的层做 CPU 滤波 | `DirectGLES.cpp:12953`、`:13066` |
+| `generate-mipmap-storage`（split 检查） | 描述符层数少于「从 level 0 起的整链」即 `Fatal{UnmigratedEmulation}`：MAX_LEVEL 偏小、`glTexStorage2D` 层数不足（合法 GL） | 删；生成窗口 = 记录的计划 | `MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:11759` |
+| `generate-mipmap-cpu-filter` | RGB16F / RGB32F 生成一律 Fatal | 删；先原生 `glGenerateMipmap`，驱动拒绝或旋钮强制时 server 从自己的层做 CPU 滤波 | `DirectGLES.cpp:13091`、`:13209` |
 
 - split 臂的 `UnmigratedEmulation` 可达名清零；树里剩 4 名（`copy-image-shadow-mirror`、`generate-mipmap-storage` 的 monolith 生长、`generate-mipmap-cpu-fallback`、`get-tex-image-shadow`），都只在 monolith 臂上。
-- `PipeCatalogueTest.cpp:1446` 名单保持 4 名，注释补记漂移（它从未列过 `cpu-filter`）与本包的两处退役。
+- `PipeCatalogueTest.cpp:1451` 名单保持 4 名，注释补记漂移（它从未列过 `cpu-filter`）与本包的两处退役。
 - 主机（llvmpipe）上 RGB16F（原生存储）与 RGB32F（加宽为 RGBA32F）都由原生 `glGenerateMipmap` 完成；CPU 臂只在旋钮下走到（日志核实：非强制条目 0 行 `generate-mipmap-server-cpu`）。
 
 ## 2. 设计
 
 | 项 | 做法 | 位置 |
 |---|---|---|
-| B1 窗口 | `Base = VerbMipBaseLevel`；`End = min(VerbMipLevelCount, Desc.Levels, MaxLevel+1, Base + 基准层的整链)`，与 Magma 的裁剪同式（`WireFramebuffer.inc:1356`）；client 已按同一窗口定义层（`EmitTables.cpp:384-390`） | `DirectGLES.cpp:11644` |
-| B1 两条 blit 链 | 深度 / R11F 的记录臂改为只跑 `[Base+1, End)`，不再从 level 1 跑到描述符末尾（BASE_LEVEL=1 时会用 level 0 覆盖 base） | `DirectGLES.cpp:12408`、`:12425` |
-| B1 死臂 | `EnsureGenerateMipmapStorageAllocated(texture)` 的 transport 臂删除：split 下 `GenerateMipmap` 在它之前已经返回 | `DirectGLES.cpp:11666` |
-| B2 原生 | 三通道浮点也先走原生 `glGenerateMipmap`；错误不转给应用，改走 CPU 臂 | `DirectGLES.cpp:13114` |
-| B2 CPU 臂 | 源 = 驱动上的 base 层（`ReadTextureLevelTight`，RGB/FLOAT）；驱动读不回（不可附着的存储）才用 staged store，且 store 须整层覆盖；都没有则具名拒绝（`MGLOG_E_ONCE`，不 Fatal）；2×2 盒滤波（monolith 同式）；按驱动存储的通道数 `glTexSubImage2D`（RGB 或 RGBA，FLOAT）；支持 2D 与立方体，其余目标具名拒绝 | `DirectGLES.cpp:12909`、`:12953` |
-| B2 旋钮 | `MGITEST_ESPRYT_FORCE_CPU_MIPMAP=1`，server 读（`MGITEST_MAGMA_FORCE_SHADER_MIPMAP` 先例）；命中打一行 `generate-mipmap-server-cpu`（INFO，每进程一次） | `DirectGLES.cpp:12902` |
+| B1 窗口 | `Base = VerbMipBaseLevel`；`End = min(VerbMipLevelCount, Desc.Levels, MaxLevel+1, Base + 基准层的整链)`，与 Magma 的裁剪同式（`WireFramebuffer.inc:1358`）；client 已按同一窗口定义层（`EmitTables.cpp:384-390`） | `DirectGLES.cpp:11759` |
+| B1 两条 blit 链 | 深度 / R11F 的记录臂改为只跑 `[Base+1, End)`，不再从 level 1 跑到描述符末尾（BASE_LEVEL=1 时会用 level 0 覆盖 base） | `DirectGLES.cpp:12523`、`:12540` |
+| B1 死臂 | `EnsureGenerateMipmapStorageAllocated(texture)` 的 transport 臂删除：split 下 `GenerateMipmap` 在它之前已经返回 | `DirectGLES.cpp:11781` |
+| B2 原生 | 三通道浮点也先走原生 `glGenerateMipmap`；错误不转给应用，改走 CPU 臂 | `DirectGLES.cpp:13258` |
+| B2 CPU 臂 | 源 = 驱动上的 base 层（`ReadTextureLevelTight`，RGB/FLOAT）；驱动读不回（不可附着的存储）才用 staged store，且 store 须整层覆盖；都没有则具名拒绝（`MGLOG_E_ONCE`，不 Fatal）；2×2 盒滤波（monolith 同式）；按驱动存储的通道数 `glTexSubImage2D`（RGB 或 RGBA，FLOAT）；支持 2D 与立方体，其余目标具名拒绝 | `DirectGLES.cpp:13036`、`:13091` |
+| B2 旋钮 | `MGITEST_ESPRYT_FORCE_CPU_MIPMAP=1`，server 读（`MGITEST_MAGMA_FORCE_SHADER_MIPMAP` 先例）；命中打一行 `generate-mipmap-server-cpu`（INFO，每进程一次） | `DirectGLES.cpp:13017` |
 | B2 client 影子 | 任何臂都不读 client 影子 | — |
 
 未改：`PipeCalls.def:260` 的 `GenerateMipmap` 仍是 `kWaitApplied`。P5e 裁定 14 留着它的唯一理由（CPU 滤波读 client 影子）已消失；翻成 `kWaitNone` 是协议改动，交集成方。
@@ -33,20 +33,20 @@
 
 | 用例 | 形状 | 行 |
 |---|---|---|
-| `PackedFloat` / `Depth` × `MutableMaxLevelBelowTheChain` | 可变，定义 0..2，MAX_LEVEL=2；level 3 须未定义 | `GenerateMipmapServerScenario.cpp:294` |
-| `PackedFloat` / `Depth` × `StorageWithFewerLevelsThanTheChain` | `glTexStorage2D` 3 层（整链 5） | `GenerateMipmapServerScenario.cpp:313` |
-| `PackedFloat` / `Depth` × `MutableBaseLevelOneKeepsTheLevelsOutsideItsWindow` | 定义 0..3，BASE=1、MAX=2；level 0/3 不变，level 4 未定义 | `GenerateMipmapServerScenario.cpp:328` |
-| `Rgb16f` / `Rgb32f` × `UploadedBaseGeneratesItsChain` | 仅上传 level 0 | `GenerateMipmapServerScenario.cpp:353` |
-| `Rgb16f` / `Rgb32f` × `RenderTargetBaseGeneratesFromTheGpuWrittenLevel` | 上传哨兵色后把 level 0 当渲染目标绘制（Complementary colortex2 形状） | `GenerateMipmapServerScenario.cpp:369` |
+| `PackedFloat` / `Depth` × `MutableMaxLevelBelowTheChain` | 可变，定义 0..2，MAX_LEVEL=2；level 3 须未定义 | `GenerateMipmapServerScenario.cpp:307` |
+| `PackedFloat` / `Depth` × `StorageWithFewerLevelsThanTheChain` | `glTexStorage2D` 3 层（整链 5） | `GenerateMipmapServerScenario.cpp:326` |
+| `PackedFloat` / `Depth` × `MutableBaseLevelOneKeepsTheLevelsOutsideItsWindow` | 定义 0..3，BASE=1、MAX=2；level 0/3 不变，level 4 未定义 | `GenerateMipmapServerScenario.cpp:341` |
+| `Rgb16f` / `Rgb32f` × `UploadedBaseGeneratesItsChain` | 仅上传 level 0 | `GenerateMipmapServerScenario.cpp:366` |
+| `Rgb16f` / `Rgb32f` × `RenderTargetBaseGeneratesFromTheGpuWrittenLevel` | 上传哨兵色后把 level 0 当渲染目标绘制（Complementary colortex2 形状） | `GenerateMipmapServerScenario.cpp:382` |
 
 | 臂 | 登记 | Espryt | Magma（对照） |
 |---|---|---|---|
 | monolith | 环境发现 `DirectGLES.` / `DirectVulkan.` | 4 绿 + 6 按名跳过（M1、M2） | 7 绿 + 3 按名跳过（M3） |
-| Split / Spawn / Tcp | `MobileGL/MG_IntegrationTest/CMakeLists.txt:3355`；Magma 门控块 `MobileGL/MG_IntegrationTest/CMakeLists.txt:4059` | 10 × 3 绿 | 10 × 3 绿 |
-| 强制 CPU（Split / Spawn） | `MobileGL/MG_IntegrationTest/CMakeLists.txt:3356-3372`，标签 `integration-cpu-mip-{split,spawn}` | 4 × 2 绿，server 日志须有 `generate-mipmap-server-cpu`（`GenerateMipmapServerScenario.cpp:282`） | — |
+| Split / Spawn / Tcp | `MobileGL/MG_IntegrationTest/CMakeLists.txt:3442`；Magma 门控块 `MobileGL/MG_IntegrationTest/CMakeLists.txt:4174` | 10 × 3 绿 | 10 × 3 绿 |
+| 强制 CPU（Split / Spawn） | `MobileGL/MG_IntegrationTest/CMakeLists.txt:3443-3459`，标签 `integration-cpu-mip-{split,spawn}` | 4 × 2 绿，server 日志须有 `generate-mipmap-server-cpu`（`GenerateMipmapServerScenario.cpp:295`） | — |
 | A/B inproc（门的 `integration-gpu[inproc]` 环境） | 同环境发现 | 10 绿 | 10 绿 |
 
-- 强制 CPU 臂不上 tcp：tcp 的 server 是共享的 `TcpServer.Start` 夹具（`MobileGL/MG_IntegrationTest/CMakeLists.txt:2154`），旋钮放那里会让所有 tcp 条目都走 CPU 臂、原生臂在 tcp 上失去覆盖；CPU 臂本身与传输无关（spawn 已证跨进程）。与 P9 `RemintFallback.` 同形，不需要 parity 例外行。
+- 强制 CPU 臂不上 tcp：tcp 的 server 是共享的 `TcpServer.Start` 夹具（`MobileGL/MG_IntegrationTest/CMakeLists.txt:2168`），旋钮放那里会让所有 tcp 条目都走 CPU 臂、原生臂在 tcp 上失去覆盖；CPU 臂本身与传输无关（spawn 已证跨进程）。与 P9 `RemintFallback.` 同形，不需要 parity 例外行。
 
 ## 4. red-once
 
@@ -66,9 +66,9 @@
 
 | # | 后端 | 缺陷 | 位置 | red-once 读数 |
 |---|---|---|---|---|
-| M1 | Espryt | RGB16F / RGB32F CPU 滤波读前端层影子；level 0 被 GPU 写过后影子陈旧 | `DirectGLES.cpp:12812`（调用 `:13171`） | level 1..3 = 哨兵色 `rgba(255,0,255,255)`，两格式 |
-| M2 | Espryt | R11F / 深度：存储生长从 level 0 算整链，定义 MAX_LEVEL 之外的层；两条 blit 链从 level 1 跑到末尾，无视 BASE_LEVEL / MAX_LEVEL | `DirectGLES.cpp:11592`、`:12465`、`:12495` | MAX_LEVEL=2 时 level 3 宽 2（应 0）；BASE=1 时 level 1..3 全被 level 0 覆盖，level 4 被定义 |
-| M3 | Magma | 无 BLIT 的颜色格式（lavapipe 上 `B10G11R11_UFLOAT`，VkFormat 122）直接跳过生成，只打 `MGLOG_W_ONCE`；wire 臂自 P7 有着色器臂，monolith 没有 | `MobileGL/MG_Backend/DirectVulkan/Renderer/VulkanRenderer.cpp:12226` | 三个 PackedFloat 用例生成层读到 `rgba(0,0,0,255)` |
+| M1 | Espryt | RGB16F / RGB32F CPU 滤波读前端层影子；level 0 被 GPU 写过后影子陈旧 | `DirectGLES.cpp:12927`（调用 `:13320`） | level 1..3 = 哨兵色 `rgba(255,0,255,255)`，两格式 |
+| M2 | Espryt | R11F / 深度：存储生长从 level 0 算整链，定义 MAX_LEVEL 之外的层；两条 blit 链从 level 1 跑到末尾，无视 BASE_LEVEL / MAX_LEVEL | `DirectGLES.cpp:11707`、`:12580`、`:12610` | MAX_LEVEL=2 时 level 3 宽 2（应 0）；BASE=1 时 level 1..3 全被 level 0 覆盖，level 4 被定义 |
+| M3 | Magma | 无 BLIT 的颜色格式（lavapipe 上 `B10G11R11_UFLOAT`，VkFormat 122）直接跳过生成，只打 `MGLOG_W_ONCE`；wire 臂自 P7 有着色器臂，monolith 没有 | `MobileGL/MG_Backend/DirectVulkan/Renderer/VulkanRenderer.cpp:12229` | 三个 PackedFloat 用例生成层读到 `rgba(0,0,0,255)` |
 
 - M1 修法指向：monolith 也改为回读驱动层（P9 dev `568090f0` 的 `AdoptDriverLevelIntoShadow` 同路）。M2：monolith 两条链与生长改用 `ComputeMipmapGenerationRange` 窗口。M3：monolith 复用 wire 臂的着色器 mip。都动 pull 构建的 `.text`，按 G1 在 dev 修。
 
diff --git a/docs/Disaggregated/notes/p8/C.md b/docs/Disaggregated/notes/p8/C.md
index 10afce0e..c3e013d9 100644
--- a/docs/Disaggregated/notes/p8/C.md
+++ b/docs/Disaggregated/notes/p8/C.md
@@ -5,8 +5,8 @@
 ## 1. 结论
 
 - 前提成立（red-once 见 §4）：split 下 server 的 R-11 暂存影子只由上传 / adopt 填，server 上的 GPU 写不进影子；CPU 读者读到旧字节，或因无影子直接拒绝。原 7 例在基线上 Espryt split / spawn / tcp 与 inproc A/B 全红。
-- 修在 server，不动 client、不动 monolith：写者给 server 孪生体打标（`serverGpuWritten`，`MobileGL/MG_Backend/DirectGLES/Managers.h:1059`），读者消费字节前经 `SplitHostBytesForCpuRead`（`MobileGL/MG_Backend/DirectGLES/Managers.cpp:3570`）从 server 自己的 GL buffer 整 store 回读。
-- XFB 不打标：两条捕获路径本来就把字节拿在手里（给 client 的 writeback），直接写进影子（`StageServerWrittenRange`，`MobileGL/MG_Backend/DirectGLES/Managers.cpp:3626`）。
+- 修在 server，不动 client、不动 monolith：写者给 server 孪生体打标（`serverGpuWritten`，`MobileGL/MG_Backend/DirectGLES/Managers.h:1059`），读者消费字节前经 `SplitHostBytesForCpuRead`（`MobileGL/MG_Backend/DirectGLES/Managers.cpp:3595`）从 server 自己的 GL buffer 整 store 回读。
+- XFB 不打标：两条捕获路径本来就把字节拿在手里（给 client 的 writeback），直接写进影子（`StageServerWrittenRange`，`MobileGL/MG_Backend/DirectGLES/Managers.cpp:3651`）。
 - 懒刷新：只在读者真正消费字节时回读；原生 indirect 不从 CPU 取字段时不回读，Create / Flywheel 式每帧 compute 剔除 + 原生 indirect 不付回读（`MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:8555`）。
 - 顺带关掉 P3a M-3 声明的偏差（fp64 顶点收窄读旧字节）在 split 臂上的一半；monolith 臂不动。
 - monolith 两后端共 5 处缺陷，skip 按名、记给 dev（§6，ID-P8-3）；IndirectCount 的 monolith 按 OQ15 不改。
@@ -21,7 +21,7 @@
 | indirect 命令字段 | `DirectGLES.cpp:8549` | CPU 路径全取；原生路径只在程序读 `gl_BaseVertex`、或无 `mg_IndirectParams` 视图而读 `gl_BaseInstance` 时取 |
 | 无影子的 indirect 命令 buffer | `DirectGLES.cpp:487` | 被 GPU 写过就取第一份（原来 decline，`indirect_command_bytes`） |
 | XFB scatter 的捕获前字节 | `DirectGLES.cpp:2037` | 刷新 |
-| fp64 顶点收窄 | `MobileGL/MG_Backend/DirectGLES/Managers.cpp:6671` | 刷新，并让 memo 失效（GPU 写不动 serial） |
+| fp64 顶点收窄 | `MobileGL/MG_Backend/DirectGLES/Managers.cpp:6696` | 刷新，并让 memo 失效（GPU 写不动 serial） |
 
 | 写者 | 位置 | 效果 |
 |---|---|---|
@@ -35,11 +35,11 @@
 - 刷新顺序同 `Ops_H_Readback`：`FlushPendingRangesFrom` 先落排队上传 → `DrainResidentWritesNow` → 整 store `glMapBufferRange(READ)` → `MGL_SERVER_STAGED_ADOPT`（覆盖变整段，孤儿 store 也就有了第一份）→ serial 戳 + epoch bump。
 - T0 store：影子就是 server 对 client AHB 的一致映射；有标记或有排队常驻写时 `DrainResidentWritesNow` + `glFinish`（DEBTS 的 P11 B2 行的 split 半）。
 - 刷新与写影子只在复制型暂存 store（split）下生效（`CopiesIntoServerStorage`）：monolith 的 store 保留调用方指针，映射一解就悬空。
-- 全部新代码在 `MOBILEGL_BUILD_DISAGGREGATED` 下；`ReadsBaseInstance`（`Managers.h:3107`）同。
+- 全部新代码在 `MOBILEGL_BUILD_DISAGGREGATED` 下；`ReadsBaseInstance`（`Managers.h:3124`）同。
 
 ## 3. 场景
 
-`GpuWrittenDrawInputScenario`（`MobileGL/MG_IntegrationTest/Scenarios/GpuWrittenDrawInputScenario.cpp`，split-only 源，登记 `MobileGL/MG_IntegrationTest/CMakeLists.txt:3343`）12 例：GPU 只写一次，暂存影子里是画不出正确结果的毒值。
+`GpuWrittenDrawInputScenario`（`MobileGL/MG_IntegrationTest/Scenarios/GpuWrittenDrawInputScenario.cpp`，split-only 源，登记 `MobileGL/MG_IntegrationTest/CMakeLists.txt:3461`）12 例：GPU 只写一次，暂存影子里是画不出正确结果的毒值。
 
 | 例 | 写者 | 读者 |
 |---|---|---|
@@ -85,9 +85,9 @@
 |---|---|---|---|
 | Espryt | `*IndirectCount` 读前端影子不调 `SyncGpuWrites`（OQ15） | `DirectGLES.cpp:9688-9689`、`:9852-9853` | count 读 0，什么都不画 |
 | Espryt | 原生 indirect 的 `gl_BaseVertex` 从前端影子取（单进程臂 `ResolveIndirectCommandBytes` 只 `SyncPersistentMappedRange`） | `DirectGLES.cpp:521`、`:8640` | 几何对、颜色红 |
-| Espryt | fp64 收窄的 handle 臂在 monolith 下读前端影子（P3a M-3 声明的偏差，monolith 半） | `Managers.cpp:6650` | 画在屏外 |
-| Magma | `MultiDrawArraysIndirectCount` 的 CPU 臂不调 `SyncGpuWrites` | `MobileGL/MG_Backend/DirectVulkan/DirectVulkan.cpp:729` | count 读 0 |
-| Magma | draw 录制中途调 `SyncGpuWrites`（restart 重写、GL_DOUBLE 顶点转换）：提交并等待结束了当前帧命令缓冲，draw 接着往已结束的缓冲里录 | `MobileGL/MG_Backend/DirectVulkan/Renderer/VulkanRenderer.cpp:4510`、`:4176` | SIGSEGV（lavapipe 工作线程 / `vkCmdBindVertexBuffers`）；校验层 `VUID-vkCmdBindIndexBuffer-commandBuffer-recording` |
+| Espryt | fp64 收窄的 handle 臂在 monolith 下读前端影子（P3a M-3 声明的偏差，monolith 半） | `Managers.cpp:6675` | 画在屏外 |
+| Magma | `MultiDrawArraysIndirectCount` 的 CPU 臂不调 `SyncGpuWrites` | `MobileGL/MG_Backend/DirectVulkan/DirectVulkan.cpp:749` | count 读 0 |
+| Magma | draw 录制中途调 `SyncGpuWrites`（restart 重写、GL_DOUBLE 顶点转换）：提交并等待结束了当前帧命令缓冲，draw 接着往已结束的缓冲里录 | `MobileGL/MG_Backend/DirectVulkan/Renderer/VulkanRenderer.cpp:4513`、`:4179` | SIGSEGV（lavapipe 工作线程 / `vkCmdBindVertexBuffers`）；校验层 `VUID-vkCmdBindIndexBuffer-commandBuffer-recording` |
 
 - skip 只在 `transportName == "monolith"` 的对应后端生效，理由串带出处。
 
@@ -99,4 +99,4 @@
 - `Ops_H_Readback`（client 发起的回读）没有顺带刷新 server 影子（可省一次回读，未做）。
 - 同一 draw 既写 X（SSBO）又拿 X 当 EBO：标记在 `SyncNeccessaryBuffers` 里打，restart / rebase 读者在 draw 执行前就刷新并清标记，写发生在清之后，X 留成未标记。monolith 同形（`MarkShaderStorageBuffersGpuWritten` 先标，`SyncGpuWrites` 在 draw 前清），是对齐不是倒退。
 - DEBTS 的 P11 B2 行（handle 臂读采纳 / T0 映射前不落常驻写）：split 半由 `SplitHostBytesForCpuRead` 的 T0 臂做了、主机不可验证；单进程半归 dev。
-- Magma 的 `VulkanRenderer.cpp:3683`（最大索引扫描）与 §6 最后一行同模式，未验证。
+- Magma 的 `VulkanRenderer.cpp:3686`（最大索引扫描）与 §6 最后一行同模式，未验证。
diff --git a/docs/Disaggregated/notes/p8/D.md b/docs/Disaggregated/notes/p8/D.md
index d55e16e8..7e8297c5 100644
--- a/docs/Disaggregated/notes/p8/D.md
+++ b/docs/Disaggregated/notes/p8/D.md
@@ -4,10 +4,10 @@
 
 ## 1. 结论
 
-- wire 臂的 `glDraw*Indirect` / `glMultiDraw*Indirect[Count]` 改为从 wire store 自己的 `VkBuffer` 发 `vkCmdDraw[Indexed]Indirect[Count]`：`VulkanRenderer::DrawWireIndirectNative`（`MobileGL/MG_Backend/DirectVulkan/Renderer/WireDraw.inc:620`）。
+- wire 臂的 `glDraw*Indirect` / `glMultiDraw*Indirect[Count]` 改为从 wire store 自己的 `VkBuffer` 发 `vkCmdDraw[Indexed]Indirect[Count]`：`VulkanRenderer::DrawWireIndirectNative`（`MobileGL/MG_Backend/DirectVulkan/Renderer/WireDraw.inc:627`）。
 - `DrawWireIndirect`（`MobileGL/MG_Backend/DirectVulkan/DirectVulkan.cpp:381`）先走原生；CPU 展开只留给设备发不出的 COUNT 形态（与 monolith 同条件，§3）。
 - create-indirect × Magma × split：indirect 引起的 host 等待 321 → 0，等待时间 8.07 s → 0.013 s（剩下 6 次是应用回读，§2）；SSIM 各臂不变。
-- 新增 barrier：着色器写过的 store 在下一次 indirect 读前补一个 `INDIRECT_COMMAND_READ` barrier，每次写一次（`WireDraw.inc:686-698`）。create-indirect 的 322 次 cull→draw 里 320 次没有 `glMemoryBarrier`，旧 CPU 路径靠整 GPU 等待碰巧有序，原生路径靠这个 barrier。
+- 新增 barrier：着色器写过的 store 在下一次 indirect 读前补一个 `INDIRECT_COMMAND_READ` barrier，每次写一次（`WireDraw.inc:693-705`）。create-indirect 的 322 次 cull→draw 里 320 次没有 `glMemoryBarrier`，旧 CPU 路径靠整 GPU 等待碰巧有序，原生路径靠这个 barrier。
 
 ## 2. 测量（主机，`MOBILEGL_PIPE_STATS=1 MOBILEGL_PIPE_STATS_PERIOD=1`，server 日志 `windr[...]` 求和）
 
@@ -33,11 +33,11 @@
 |---|---|---|
 | 没绑 `GL_DRAW_INDIRECT_BUFFER`：命令在 client 内存 | `DirectVulkan.cpp:684`、`:825`、`:884` | client 在兼容档拒绝（`MobileGL/MG_Remote/Client/EmitTables.cpp:730` `CLIENT_COMMANDS`）；store 为空则具名拒绝 `IndirectBufferUnbound` |
 | `glMultiDrawArraysIndirectCount`：总在 CPU 读 count 字 | `DirectVulkan.cpp:720-757` | 原生 `vkCmdDrawIndirectCount`（`MobileGL/MG_Backend/DirectVulkan/Renderer/VulkanRenderer.cpp:15942` 加载，只在 disaggregated 构建） |
-| `glMultiDrawElementsIndirectCount`：无 `VK_KHR_draw_indirect_count`，或 maxdrawcount > 1 且无 `multiDrawIndirect` → CPU 循环 | `VulkanRenderer.cpp:13421-13444` | 同条件（`WireDraw.inc:623-628`）返回 false，走原 CPU 展开（`DirectVulkan.cpp:390-413`，计入 `wixp`） |
-| 无 `multiDrawIndirect` 或 stride 不是 4 的倍数：逐条原生 indirect，仍由 GPU 读 | `VulkanRenderer.cpp:13510`、`:13615` | 同（`WireDraw.inc:725-733`）；stride 非 4 倍数在 GL 是 INVALID_VALUE，wire 上具名拒绝 `IndirectCommandRange` |
+| `glMultiDrawElementsIndirectCount`：无 `VK_KHR_draw_indirect_count`，或 maxdrawcount > 1 且无 `multiDrawIndirect` → CPU 循环 | `VulkanRenderer.cpp:13421-13444` | 同条件（`WireDraw.inc:630-635`）返回 false，走原 CPU 展开（`DirectVulkan.cpp:390-413`，计入 `wixp`） |
+| 无 `multiDrawIndirect` 或 stride 不是 4 的倍数：逐条原生 indirect，仍由 GPU 读 | `VulkanRenderer.cpp:13510`、`:13615` | 同（`WireDraw.inc:732-740`）；stride 非 4 倍数在 GL 是 INVALID_VALUE，wire 上具名拒绝 `IndirectCommandRange` |
 | client 顶点数组 + arrays indirect：CPU 读命令定上传范围，draw 仍原生 | `VulkanRenderer.cpp:13576` | 不可达：client 把 client 数组拷成自有 buffer |
 | `GL_LINE_LOOP`：indirect 不改写，退化为 LINE_STRIP | `MobileGL/MG_Util/Converters/MGToVk/RenderStateEnumConverter.cpp:27` | 同 |
-| uint8 索引无扩展 / 非固定 restart 索引 / 非对齐偏移：整段索引在 CPU 改写，命令仍 GPU 读 | 两臂都在各自的索引上传里 | `WireDraw.inc:391`，索引视图是整个 EBO（`WireDraw.inc:674`，同 monolith） |
+| uint8 索引无扩展 / 非固定 restart 索引 / 非对齐偏移：整段索引在 CPU 改写，命令仍 GPU 读 | 两臂都在各自的索引上传里 | `WireDraw.inc:398`，索引视图是整个 EBO（`WireDraw.inc:681`，同 monolith） |
 | baseInstance / gl_DrawID | 原生（monolith 不查 `drawIndirectFirstInstance`） | 原生；旧 CPU 展开的第 3 档把 gl_DrawID 全给 0（`VulkanRenderer.cpp:13154`），原生反而更对 |
 
 ## 4. 设计
@@ -45,15 +45,15 @@
 | 项 | 内容 |
 |---|---|
 | 入口 | `DrawWireIndirect`（`DirectVulkan.cpp:381`）→ `DrawWireIndirectNative`；false 才走 CPU 展开 |
-| store | `AcquireWireSlice` 取 indirect / count / 元素 store（打 `lastUseSerial`，之后的 `glBufferSubData` 会排在这次读之后）；范围、4 字节对齐、count 字越界都是具名拒绝（`MobileGL/MG_Backend/DirectVulkan/Renderer/WireDeclines.def:109-112`） |
-| draw 准备 | 复用 `SetupDraw` → `SetupWireDraw`，带 `IndirectDrawBuffer`；该 aspect 原来是 `buffer-legacy-arm` Fatal，现只对 monolith 入口仍 Fatal（`WireDraw.inc:213`，`m_wireNativeIndirectDraw`）；顶点流转换不再按 first+count 截断（`WireDraw.inc:319`） |
-| 发射 | 同 monolith 的三档：COUNT 原生、`multiDrawIndirect` 一次发、否则逐条；另按 `maxDrawIndirectCount` 分块（`WireDraw.inc:712-733`） |
+| store | `AcquireWireSlice` 取 indirect / count / 元素 store（打 `lastUseSerial`，之后的 `glBufferSubData` 会排在这次读之后）；范围、4 字节对齐、count 字越界都是具名拒绝（`MobileGL/MG_Backend/DirectVulkan/Renderer/WireDeclines.def:115-118`） |
+| draw 准备 | 复用 `SetupDraw` → `SetupWireDraw`，带 `IndirectDrawBuffer`；该 aspect 原来是 `buffer-legacy-arm` Fatal，现只对 monolith 入口仍 Fatal（`WireDraw.inc:213`，`m_wireNativeIndirectDraw`）；顶点流转换不再按 first+count 截断（`WireDraw.inc:326`） |
+| 发射 | 同 monolith 的三档：COUNT 原生、`multiDrawIndirect` 一次发、否则逐条；另按 `maxDrawIndirectCount` 分块（`WireDraw.inc:719-740`） |
 | barrier | `MarkWireBufferGpuWritten` 置 `indirectReadBarrierPending`（`VkBufferManager.cpp:611`），`TakeWireIndirectReadBarrier`（`VkBufferManager.cpp:624`）取走；有则结束 render pass 并记 `ALL_COMMANDS/MEMORY_WRITE → DRAW_INDIRECT/INDIRECT_COMMAND_READ`。transfer 写已有 `MEMORY_READ` 后置 barrier（`VkBufferManager.cpp:514`、`:1437`），不置位。应用自己的 `glMemoryBarrier(GL_COMMAND_BARRIER_BIT)` 仍走 `BuildMemoryBarrierForGlBarriers`（`VulkanRenderer.cpp:7873`），与 monolith 一样 |
 | G1 | 全部在 `MOBILEGL_BUILD_DISAGGREGATED` / `MOBILEGL_PIPE_PUSH` 下；pull 构建 `added=0 removed=0` |
 
 ## 5. 门与 red-once
 
-用例 `WireIndirectDrawScenario`（`MobileGL/MG_IntegrationTest/Scenarios/WireIndirectDrawScenario.cpp:225`、`:274`、`:302`、`:340`），读数经 `MobileGL/MG_IntegrationTest/Harness/WireIndirectPeek.cpp:22`（进程内 PipeStats，只在 inproc 臂看得到 server）。登记：`MobileGL/MG_IntegrationTest/CMakeLists.txt:4651-4684`——Magma 门控三臂 `DirectVulkan.{Split,Spawn,Tcp}.Indirect.`、DirectGLES 三臂（经宏，含 Magma 信息层）、两后端 monolith（环境发现）。
+用例 `WireIndirectDrawScenario`（`MobileGL/MG_IntegrationTest/Scenarios/WireIndirectDrawScenario.cpp:225`、`:274`、`:304`、`:343`），读数经 `MobileGL/MG_IntegrationTest/Harness/WireIndirectPeek.cpp:22`（进程内 PipeStats，只在 inproc 臂看得到 server）。登记：`MobileGL/MG_IntegrationTest/CMakeLists.txt:4831-4864`——Magma 门控三臂 `DirectVulkan.{Split,Spawn,Tcp}.Indirect.`、DirectGLES 三臂（经宏，含 Magma 信息层）、两后端 monolith（环境发现）。
 
 | 用例 | 断言 | 两后端 / 各臂 |
 |---|---|---|
diff --git a/docs/Disaggregated/notes/p8/E.md b/docs/Disaggregated/notes/p8/E.md
index 0ee103de..2b15da9d 100644
--- a/docs/Disaggregated/notes/p8/E.md
+++ b/docs/Disaggregated/notes/p8/E.md
@@ -18,21 +18,21 @@
 | store 路由 | `DirectGLES/WireTextureReadback.inc:352` | 驱动拒绝回读时，store 仅在「整层覆盖、尺寸一致、纹理从未被驱动写过」时回答；转换同 `GetTexImageViaShadowConversion`（打包格式按字原样，其余解成宽 RGBA 逐行转） |
 | 具名拒绝 / 武装标记 | `DirectGLES/WireTextureReadback.inc:411`，`:416` | 拒绝：`MGLOG_E_ONCE` `texture-readback-store-declined`，回复 error，client Fatal。回答：`MGLOG_W_ONCE` `texture-readback-from-store` |
 | 驱动写标记 | `MG_Remote/Server/StagedTextureStore.h:479-514` | 按纹理、粘性；只有 `Drop` / `DropAll` 清，`ResetLevels` 不清（附件在重定义后照样写） |
-| 标记来源 | `DirectGLES/Managers.cpp:10901` | `NoteDriverSideTextureWriteByHandle` 同时标 store：附件、可写 image、`CopyTexSubImage`、生成 mip 都经过它 |
-| store 跟随 copy | `StagedTextureStore.h:519`，`DirectGLES/Managers.cpp:10924`，调用点 `DirectGLES/DirectGLES.cpp:13347-13365` | 两端同一内部格式（`DirectGLES/Managers.cpp:10946`）、单 upload target（非 cube / 1D array）、源整层覆盖且未被驱动写、目标整层覆盖或 copy 覆盖整层 → store 做同一搬移；否则给目标标驱动写 |
-| copy 失败 | `DirectGLES/DirectGLES.cpp:13440` | 驱动拒绝 copy 时 store 已搬，补标驱动写 |
-| 跟随后的 client 上传 | `DirectGLES/Managers.cpp:3193`，`StagedTextureStore.h:573` | client run 是 client 影子（没见过 copy），只落 record 声明写过的盒（regions，无 region 时 union box）；放不下则照常收养并标驱动写；`AdoptRun` 兜底同样标（`StagedTextureStore.h:353`） |
+| 标记来源 | `DirectGLES/Managers.cpp:10991` | `NoteDriverSideTextureWriteByHandle` 同时标 store：附件、可写 image、`CopyTexSubImage`、生成 mip 都经过它 |
+| store 跟随 copy | `StagedTextureStore.h:519`，`DirectGLES/Managers.cpp:11014`，调用点 `DirectGLES/DirectGLES.cpp:13670-13688` | 两端同一内部格式（`DirectGLES/Managers.cpp:11036`）、单 upload target（非 cube / 1D array）、源整层覆盖且未被驱动写、目标整层覆盖或 copy 覆盖整层 → store 做同一搬移；否则给目标标驱动写 |
+| copy 失败 | `DirectGLES/DirectGLES.cpp:13763` | 驱动拒绝 copy 时 store 已搬，补标驱动写 |
+| 跟随后的 client 上传 | `DirectGLES/Managers.cpp:3197`，`StagedTextureStore.h:573` | client run 是 client 影子（没见过 copy），只落 record 声明写过的盒（regions，无 region 时 union box）；放不下则照常收养并标驱动写；`AdoptRun` 兜底同样标（`StagedTextureStore.h:353`） |
 | 测试旋钮 | `DirectGLES/WireTextureReadback.inc:328` | `MGITEST_ESPRYT_REFUSE_TEXTURE_READBACK_EXTENT=<w>x<h>`，server 读；该尺寸颜色层的 FBO 腿视为驱动拒绝，R32UI 字腿不动 |
 
 不选「标 GPU 脏」：
 
-- Espryt 的 `GpuDirty` 语义是「需要从 store 重传」（`DirectGLES/Managers.cpp:8460`），标了会把 store 旧字节传回去盖掉 GPU 上的 copy。
-- 跟随后其他整层读 store 的路径也拿到对的字节：重铸回读被拒时的 W2-b 重放（`DirectGLES/Managers.cpp:6888`）、整层重传。
+- Espryt 的 `GpuDirty` 语义是「需要从 store 重传」（`DirectGLES/Managers.cpp:8550`），标了会把 store 旧字节传回去盖掉 GPU 上的 copy。
+- 跟随后其他整层读 store 的路径也拿到对的字节：重铸回读被拒时的 W2-b 重放（`DirectGLES/Managers.cpp:6978`）、整层重传。
 - 跟随不了的形状（跨格式、renderbuffer 源、被驱动写过的源、cube / 1D array、视图）降为具名拒绝，不给旧字节。
 
 旋钮按尺寸定界：
 
-- tcp 的 server 是整条 lane 共用的 `TcpServer.Start` fixture，旋钮只能放进它的 ENVIRONMENT（`MG_IntegrationTest/CMakeLists.txt:3245`）。
+- tcp 的 server 是整条 lane 共用的 `TcpServer.Start` fixture，旋钮只能放进它的 ENVIRONMENT（`MG_IntegrationTest/CMakeLists.txt:3268`）。
 - 场景只有自身环境里有旋钮时才建 13x7 的纹理，否则 12x6（`CopyImageStoreReadbackScenario.cpp:66`），所以 lane 级旋钮只碰 StoreRead 条目。
 - 实测：tcp 上无旋钮条目的 server 日志没有 `texture-readback-from-store`，StoreRead 条目有。
 
@@ -51,9 +51,9 @@
 | 条目 | 臂 | 登记 |
 |---|---|---|
 | `DirectGLES.*` / `DirectVulkan.*` | monolith | 整体发现 |
-| `DirectGLES.{Split,Spawn,Tcp}.*` | 三臂，无旋钮 | `mgl_itest_register_split_arms`（`MG_IntegrationTest/CMakeLists.txt:3229`） |
-| `DirectGLES.{Split,Spawn,Tcp}.StoreRead.*` | 三臂，旋钮 13x7，前 4 例 | `MG_IntegrationTest/CMakeLists.txt:3247-3273`，带 `integration-gpu` |
-| `DirectVulkan.{Split,Spawn,Tcp}.CopyStore.*` | Magma 门控三臂 | `MG_IntegrationTest/CMakeLists.txt:3281`；另有 tier 2 信息层 |
+| `DirectGLES.{Split,Spawn,Tcp}.*` | 三臂，无旋钮 | `mgl_itest_register_split_arms`（`MG_IntegrationTest/CMakeLists.txt:3252`） |
+| `DirectGLES.{Split,Spawn,Tcp}.StoreRead.*` | 三臂，旋钮 13x7，前 4 例 | `MG_IntegrationTest/CMakeLists.txt:3270-3296`，带 `integration-gpu` |
+| `DirectVulkan.{Split,Spawn,Tcp}.CopyStore.*` | Magma 门控三臂 | `MG_IntegrationTest/CMakeLists.txt:3304`；另有 tier 2 信息层 |
 
 - 三臂对称，`spawn_lane_parity.py` 不需例外行（`StoreRead.` 尾不被 Espryt 的 `CASE` 解析，`scripts/ci/spawn_lane_parity.py:39`）。
 - store 单元用例 6 个：`MG_Test/Wire/StagedTextureStoreTest.cpp:330-475`。
@@ -78,19 +78,19 @@
 
 ## 5. 死闩清理（无行为变化）
 
-- `CopyImageSubData+RENDERBUFFER`：原在 `SyncRenderbufferObjectToBackend` 内，条件是 transport≠monolith；唯一调用点只在 monolith 臂（split 臂按句柄处理，`DirectGLES/DirectGLES.cpp:13134-13155`），删去并改写注释（`DirectGLES/DirectGLES.cpp:13110-13117`）。
-- 镜像函数里过时的「client 侧镜像留给 P8」「由两个 Fatal 兜底」注释改写（`DirectGLES/DirectGLES.cpp:13239-13252`）。
+- `CopyImageSubData+RENDERBUFFER`：原在 `SyncRenderbufferObjectToBackend` 内，条件是 transport≠monolith；唯一调用点只在 monolith 臂（split 臂按句柄处理，`DirectGLES/DirectGLES.cpp:13461-13482`），删去并改写注释（`DirectGLES/DirectGLES.cpp:13437-13444`）。
+- 镜像函数里过时的「client 侧镜像留给 P8」「由两个 Fatal 兜底」注释改写（`DirectGLES/DirectGLES.cpp:13566-13579`）。
 - Fatal 普查：abort 点 79 → 78（`DirectGLES.cpp` 15 → 14），族 45 不变；基线用 `fatal_census.py --write-baseline` 重写。
 
 ## 6. monolith 缺陷（ID-P8-3，记给 dev，不在此修）
 
-- `MirrorCopyImageIntoDestinationShadow` 只对 `HasRedundantPackedEncoding`（仅 RGB9_E5）调用（`DirectGLES/DirectGLES.cpp:13450`）；其他格式 copy 后 CPU 影子不变。
-- 驱动 attach 不了目标格式时 `GetTexImage` 退到影子（`DirectGLES/DirectGLES.cpp:15748`）→ 返回 copy 前字节。设备（Adreno：RGB16 / 16 位 SNORM / 无 norm16 时的 RGBA16）可达。
+- `MirrorCopyImageIntoDestinationShadow` 只对 `HasRedundantPackedEncoding`（仅 RGB9_E5）调用（`DirectGLES/DirectGLES.cpp:13773`）；其他格式 copy 后 CPU 影子不变。
+- 驱动 attach 不了目标格式时 `GetTexImage` 退到影子（`DirectGLES/DirectGLES.cpp:16071`）→ 返回 copy 前字节。设备（Adreno：RGB16 / 16 位 SNORM / 无 norm16 时的 RGBA16）可达。
 - red-once 见 §4 MONO；修法建议：镜像对所有非压缩同格式 copy 都做，或像 split 一样按纹理记「驱动写过」后拒绝。
 
 ## 7. 未做 / 发现未修
 
-- `copy-image-shadow-mirror` 的 `MGPipeUnmigratedEmulation` 调用（`DirectGLES/DirectGLES.cpp:13261`）在 transport 下不可达（`:13253` 先返回），未删：名单在 `PipeCatalogueTest.cpp:1439`，归 B / F 统一改。
+- `copy-image-shadow-mirror` 的 `MGPipeUnmigratedEmulation` 调用在 transport 下不可达（`DirectGLES/DirectGLES.cpp:13580` 先返回），本包未删；P8-SE 已删调用与名（`DirectGLES/DirectGLES.cpp:13582-13585`、`PipeCatalogueTest.cpp:1448-1450`，[`SE.md`](SE.md)）。
 - `MGPipeTypes.h:1535` 的 P5b 历史注释仍提 `+RENDERBUFFER` 拒绝；是 wire 头注释，未动。
 - 跨格式 copy 不跟随（store 存规范影子，16 位打包、RGB10 / RGB12 的规范表示不是 GL 位），降为具名拒绝。
 - 具名拒绝仍是会话 Fatal（client 的 `RequireReadbackReplyComplete`）；改成 `GL_INVALID_OPERATION` 需要协议变更，不在本包。
diff --git a/docs/Disaggregated/notes/p8/F.md b/docs/Disaggregated/notes/p8/F.md
index 12c34e1e..881e16a2 100644
--- a/docs/Disaggregated/notes/p8/F.md
+++ b/docs/Disaggregated/notes/p8/F.md
@@ -7,7 +7,7 @@
 | 项 | 改动 | 位置 | 之前 | 之后 |
 |---|---|---|---|---|
 | 1 | multi-draw 的两个 server 闩改族 | `PipeApplier.cpp:779-784`、`:976-981` | `Fatal{UnmigratedVerb, "MultiDraw{Arrays,Elements}+{CLIENT_INDICES,INSTANCED}"}` | `Fatal{ProtocolCorruption, <同名>}`，仍按名闩住外来 peer |
-| 2 | `Magma:client-vertex-array` 去掉 P8 阶段标签，改为协议不变量 | `WireDraw.inc:297-304` | `MagmaWireFatal`（UnmigratedVerb 族，名字带 `@P8`） | `MGPipeSessionFail(ProtocolCorruption)`，名字 `Magma:client-vertex-array` 加 location |
+| 2 | `Magma:client-vertex-array` 去掉 P8 阶段标签，改为协议不变量 | `WireDraw.inc:300-307` | `MagmaWireFatal`（UnmigratedVerb 族，名字带 `@P8`） | `MGPipeSessionFail(ProtocolCorruption)`，名字 `Magma:client-vertex-array` 加 location |
 | 3 | Magma 生成 mip 的"无着色器臂形状"改为具名拒绝 | `WireFramebuffer.inc:1405-1459`（判定）、`:1456`、`:1500`（两个拒绝点） | wire 臂三处 Fatal（旧 `:1427`、`:1452`、`:1489-1493`） | `WireDeclines.def:112` 的 `MipmapShaderFormatOrShape`；判定在 `GrowWireTextureMipChain`（`:1460`）之前，拒绝时不增长 mip 链 |
 | 4 | `kCapViewportArray`、`kCapNeedsHostIndexBytes`、`kCapNeedsHostUboBytes` 与 index-mirror 哨兵标为保留位 | `MGPipeTypes.h:110`、`:117-123`、`:315-320`、`:332-335`、`:994-999`、`:1007-1009`；`MGPipeHostSpan.h:16-26`；`VertexInputEmit.h:266-267`；`ShaderBufferEmit.h:250-253`；`MG_Backend/Init.cpp:189-191` | 注释说"P5 期间为 0"或"arms the index host mirror" | 注释说 RESERVED、从不发布、位不复用不重编号；只改注释 |
 
@@ -23,8 +23,8 @@
 | 2 | client 把每个启用的 client 内存数组转成自有 buffer，指针为空就拒绝整个 draw | `OwnedDrawInputs.h:102-131` |
 | 2 | `fatal_census.py` 只数 `Fatal{Word` 族词与 abort 点，不按 `@P` 字面计数 | `fatal_census.py:165-167` |
 | 2 | 普查前后：79 个 abort 点、20 个文件、45 个族词，均不变；不重写基线 | 本包门禁读数 |
-| 2 | 树内 `@P8` 字面：1（`WireDraw.inc:297`，基线）→ 0 | `git grep '@P8' -- MobileGL scripts tools` |
-| 3 | monolith 臂对无 BLIT 的格式一直是拒绝（跳过、链不写） | `VulkanRenderer.cpp:12225-12229` |
+| 2 | 树内 `@P8` 字面：1（`WireDraw.inc:300`，基线）→ 0 | `git grep '@P8' -- MobileGL scripts tools` |
+| 3 | monolith 臂对无 BLIT 的格式一直是拒绝（跳过、链不写） | `VulkanRenderer.cpp:12228-12232` |
 | 3 | 增长前后格式、特性、knob 档位、aspect、view 类型、usage、层窗口都不变 | `VkTextureManager.cpp:2884-2995` |
 | 3 | 深度 pass 对本函数交给它的图像只会因"格式不能同时采样和作深度附件"拒绝 | `WireDepthMipmap.inc:58-81` |
 | 3 | 深度 pass 若仍拒绝（两份清单漂移），走同一行拒绝，不结束会话 | `WireFramebuffer.inc:1491-1502` |
@@ -43,7 +43,7 @@
 | 3 | `spawn_lane_parity.py` 的 `.ShaderMipDecline.` 例外行 | 删掉该行 | `spawn_lane_parity.py build-split` | rc 1：`the tcp arm does not match the split arm: missing=['DirectVulkan.ShaderMipDecline.F1WireScenario.GenerateMipmapWithoutAShaderArmShapeDeclinesAndKeepsTheSession']` |
 | 2 | 普查读数 | — | `fatal_census.py` | 无变化：该脚本不计阶段标签（见上） |
 
-- 新用例只登记 split + spawn：knob 由 server 读，tcp fixture 带不过去。登记在 `MobileGL/MG_IntegrationTest/CMakeLists.txt:3358-3376`，前缀 `.ShaderMipDecline.`。
+- 新用例只登记 split + spawn：knob 由 server 读，tcp fixture 带不过去。登记在 `MobileGL/MG_IntegrationTest/CMakeLists.txt:3484-3502`，前缀 `.ShaderMipDecline.`。
 - 该尾自成一行加进 `MAGMA_SERVER_ENV_KNOB_NO_TCP`（`spawn_lane_parity.py:141-143`）：脚本要求每个尾恰好命中一个用例，借用 `.ShaderMip1.` 会命中两个，门禁时 parity 报 1 个错，已改。
 - Espryt 不涉及第 2、3 项（Magma 专属）；新用例在 DirectGLES 上按后端名跳过。第 1 项在后端无关的 applier 里。
 
diff --git a/docs/Disaggregated/notes/p8/SE.md b/docs/Disaggregated/notes/p8/SE.md
new file mode 100644
index 00000000..647ccaa9
--- /dev/null
+++ b/docs/Disaggregated/notes/p8/SE.md
@@ -0,0 +1,118 @@
+# P8-SE：Espryt split 残项与 P8 包说明的行号漂移
+
+> 2026-09-30，分支 `p8/se`（基线 `cbbaf77f`）。简报 `~/w7/notes/p8/BRIEF-SE.md`；证据 `~/w7/notes/p8/se-evidence/`（树外）。第二波，ID-P8-13。
+
+## 1. 结论
+
+| 项 | 结果 | 位置 |
+|---|---|---|
+| 1 默认帧缓冲深度 / 模板在 Espryt spawn / tcp 读 0 | 修；A 的 pending-fix 豁免行删去，用例登上三臂（含 `ForcedDs.` 三臂） | `MobileGL/MG_Backend/DirectGLES/DirectGLES.cpp:16239` |
+| 2 B2 的 server CPU mip 臂 × E 的驱动写标 | 修；驱动读回被拒且纹理被驱动写过时具名拒绝 `generate-mipmap-store-declined`，不读 store | `DirectGLES.cpp:13066`、`:13134` |
+| 3 D 的 case 3 在 Espryt split 臂放开 | 放开，三臂 + inproc A/B 绿；Espryt monolith 跳过保留（证红） | `MobileGL/MG_IntegrationTest/Scenarios/WireIndirectDrawScenario.cpp:306` |
+| 4 `PipeCatalogueTest` 名单 = 调用点 | 删 `copy-image-shadow-mirror` 调用与名（G1 不变）；新 lint 进 CI 与 unit 车道 | `scripts/ci/unmigrated_emulation_sites.py` |
+| 5 A–F、S 包说明行号漂移 | 213 处引用逐条对内容；87 处按内容重定位 + E.md 一行改写；S.md 无引用 | §7 |
+
+- monolith 缺陷：本包未发现新的（case 3 的 Espryt monolith 红是 C 已记的 OQ15 一条）。
+
+## 2. 项 1：根因与修法
+
+| 事实 | 出处 |
+|---|---|
+| 发布函数原 guard `!defaultFBOInfo \|\| ...` 在 `OnSurfaceChanged` post 之前 return | `DirectGLES.cpp:16229`（函数）、`:16360`（post） |
+| spawn / tcp 的 server 进程没有前端，`pDefaultFramebufferInfo` 为空（临时探针：spawn `(nil)`，inproc 非空） | 探针未提交 |
+| 结果：client 的默认帧缓冲 depth / stencil 留在占位格式 `Depth32FStencil8` | `MobileGL/MG_Impl/Init.cpp:33`、`:37` |
+| 探针：spawn client 报 depth 32 / `GL_FLOAT`；inproc 报 24 / `GL_UNSIGNED_NORMALIZED`（pbuffer 是 D24S8） | `DirectGLES.cpp:16498` |
+| 用例按报告分配 D32F_S8，server 驱动拒绝 D24S8→D32F_S8 的深度 / 模板 blit，只打 `the depth/stencil aspect was dropped`；颜色照过，client 无 GL 错误 | `DirectGLES.cpp:10926` |
+| inproc 绿是巧合：client 与 server 同进程共用该指针 | — |
+| Magma 的发布从不看该指针（callback 臂直接 post），三臂一直绿 | `MobileGL/MG_Backend/DirectVulkan/Renderer/SwapchainObject.cpp:346` |
+| 修：`MOBILEGL_PIPE_PUSH` 下 callback 在场即发布，只有 monolith 臂写占位；pull 构建保留原句（`#else`） | `DirectGLES.cpp:16239`、`:16325` |
+| 登记：`mgl_itest_register_split_arms` 三臂；`ForcedDs.` 过滤器不再减掉该例 | `MobileGL/MG_IntegrationTest/CMakeLists.txt:4866`；`MobileGL/MG_IntegrationTest/P8Coverage.cmake:177-178` |
+| 豁免表 pending-fix 类清空 | `scripts/data/split_coverage_exemptions.txt:64-65` |
+
+- 顺带生效：P12 服务器自有窗口在 spawn 下的 extent 发布（`g_publishWindowExtent`，`DirectGLES.cpp:16656`）被同一 guard 挡住、从未发出过；现在会发出，client 走 `ApplySurfaceChangedToClient` 的带 extent 臂（`MobileGL/MG_Remote/Client/ClientSession.cpp:325`）。主机无覆盖，需设备确认。
+
+## 3. 项 2：CPU mip 臂的 store 路由
+
+| 事实 | 出处 |
+|---|---|
+| E 的驱动写标按纹理、粘性 | `MobileGL/MG_Remote/Server/StagedTextureStore.h:496-502` |
+| split 的 `GenerateMipmap` 在进 `GenerateMipmapByRecord` 前无条件记驱动写：CPU 臂读 store 时标恒为真 | `DirectGLES.cpp:13296` |
+| 所以在记写之前快照 `driverWrittenBefore` 并下传；否则 store 路由（B 为不可附着存储设计的）永远拒绝 | `DirectGLES.cpp:13291`、`:13305` |
+| store 路由拒绝条件：view、无 store、驱动写过、未整层覆盖、尺寸不符 → `MGLOG_E_ONCE` `generate-mipmap-store-declined`，层不动，不 Fatal | `DirectGLES.cpp:13066`、`:13134` |
+| E 的旋钮原只在 `ReadTextureImageWire` 查，CPU 臂直接调 `ReadTextureLevelTight`，主机到不了 store 路由；现在 CPU 臂也查（前向声明） | `MobileGL/MG_Backend/DirectGLES/WireTextureReadback.inc:445`；`DirectGLES.cpp:13026`、`:13045` |
+| 粒度：标按纹理不按层，纹理被生成过一次或任一层被画过，之后读回被拒的生成一律拒绝（保守，不给旧字节） | — |
+
+| 用例（`GenerateMipmapServerScenario`） | 形状 | 断言 | 行 |
+|---|---|---|---|
+| `Rgb16fDrawnBaseWithARefusedReadbackDeclinesByName` | level 0 上传哨兵色后当渲染目标画上下两半 | server 日志有 `generate-mipmap-store-declined`、无 store 滤波行；level 1..3 不是哨兵色 | `MobileGL/MG_IntegrationTest/Scenarios/GenerateMipmapServerScenario.cpp:408`、`:546` |
+| `Rgb16fUploadedBaseWithARefusedReadbackIsFilteredFromTheStore`（对照） | 只上传 level 0 | 日志有 `filtering the staged store's copy`、无拒绝；level 1..3 正确 | `GenerateMipmapServerScenario.cpp:439`、`:550` |
+
+| 条目 | 臂 | 登记 |
+|---|---|---|
+| `DirectGLES.{Split,Spawn}.CpuMipRefused.*` | 旋钮 `MGITEST_ESPRYT_FORCE_CPU_MIPMAP=1` + `MGITEST_ESPRYT_REFUSE_TEXTURE_READBACK_EXTENT=16x16`，标签 `integration-gpu`、`integration-cpu-mip-<arm>` | `CMakeLists.txt:4883` |
+| 其他臂（monolith、无旋钮 split 三臂、Magma） | 两例按旋钮缺席跳过 | 环境发现 / `GenerateMipmapServerScenario.*` |
+
+- 不上 tcp：server 是共享 `TcpServer.Start`，16x16 拒绝会碰到整条 lane 的 16x16 颜色读回；与 B 的 `CpuMip.` 同形，parity 无需例外行（实测 0 错）。
+
+## 4. 项 3：D 的 case 3
+
+- 跳过条件由「非 Magma」改为「非 Magma 且 monolith」（`WireIndirectDrawScenario.cpp:306`）；Espryt split 的 count 字由 C 的 `SplitHostBytesForCpuRead` 刷新（`DirectGLES.cpp:9632`、`:9798`）。
+- 计数断言只在 Magma inproc（`CountersReadable`），Espryt 只断言像素。
+
+## 5. 项 4：名单与调用点
+
+| 事实 | 出处 |
+|---|---|
+| `copy-image-shadow-mirror` 调用在镜像函数自己的 transport return 之后，且在 `#if MOBILEGL_PIPE_PUSH` 内：任何 transport 到不了，pull 构建不编译它 | `DirectGLES.cpp:13580`、`:13582-13585` |
+| 删调用与名：G1 符号 +0 / −0，`.text` `a5ba13` 不变 | §8 |
+| 名单现 3 名，一名一处调用 | `MobileGL/MG_Test/Pipe/PipeCatalogueTest.cpp:1448-1455` |
+| lint 规则（全是 error）：名单每名恰一处产品调用；每处调用名在名单；名单无重复；调用须是字符串字面量。产品源 = `MobileGL/` 去掉 `MG_Test/`、`MG_IntegrationTest/`；先掩码注释 | `scripts/ci/unmigrated_emulation_sites.py` |
+| CI：`test.yml` 在 `split_coverage.py` 之后一步 | `.github/workflows/test.yml:1475` |
+| unit 车道：`PipeCatalogue.UnmigratedEmulationSites{SelfTest,MatchTheList}` | `CMakeLists.txt:4895-4901` |
+| 门命令：`python3 scripts/ci/unmigrated_emulation_sites.py --self-test && python3 scripts/ci/unmigrated_emulation_sites.py` | — |
+| 回看：lint 在 `8d3e2317`（B 之前）红 2 条：`generate-mipmap-storage` 4 处调用、`generate-mipmap-cpu-filter` 不在名单；在 `cbbaf77f` 绿（4 名 4 处） | 证据 `r4b-lint-*.log` |
+
+## 6. red-once
+
+| # | 变异 | 载体 | 观察到的红 |
+|---|---|---|---|
+| R1 | 发布 guard 改回 `if (!defaultFBOInfo) return;`（= 基线） | `DirectGLES.{Split,Spawn,Tcp}.DepthStencilReadbackAttachmentShapeScenario.DefaultFramebuffer…` | Spawn、Tcp 红（depth 0、stencil 0），Split 绿 |
+| R1′ | 同上 | 三个 `ForcedDs.` 条目 | Spawn、Tcp 红，Split 绿 |
+| R2a | 去掉 `driverWrittenBefore` 判定 | `DirectGLES.{Split,Spawn}.CpuMipRefused.*` | 画过的例两臂红：level 1..3 = 哨兵 `rgba(255,0,255,255)`、无拒绝行、有 store 滤波行；对照绿 |
+| R2b | 快照挪到自身记写之后 | 同上 | 对照两臂红：store 路由拒绝、level 1..3 `rgba(0,0,0,255)`；画过的例绿 |
+| R2c | CPU 臂不查拒绝旋钮 | 同上 | 4/4 红：拒绝行与 store 滤波行都没有（原生读回路径） |
+| R3 | 两处 `*IndirectCount` 参数读改回 `SplitHostBytes`（去 C 的刷新） | `DirectGLES.{Split,Spawn,Tcp}.WireIndirectDrawScenario.ComputeWrittenCount…` | 三臂红：两处 count 画错条带 |
+| R3m | 去掉 Espryt monolith 跳过 | `DirectGLES.WireIndirectDrawScenario.ComputeWrittenCount…`（monolith） | 红：count 1 却画了条带 2、3（OQ15，跳过须保留） |
+| R4a | `kNames` 加回 `copy-image-shadow-mirror` | lint；`PipeCatalogue.UnmigratedEmulationSitesMatchTheList` | rc 1：「listed and has no call site」；ctest 红 |
+| R4b | `--self-test` 六例（多名、漏名、同名两处、名单重复、非字面量、匹配） | lint | 各规则按预期 rc；匹配树 rc 0 |
+
+还原一律复制比对 + `touch`（`cmp` 一致）后重建再跑绿。
+
+## 7. 项 5：行号漂移
+
+- 方法：每份说明从最后写它的提交（A `06f28b0a`、B `b9feb9d7`、C `e815ce8d`、D `d639e546`、E `c00f5eab`、F `c7a14ed7`）经 `git diff -U0` 把每处 `file:line` 与同行 `:line` 简写映射到 HEAD；映射到的行与原行内容逐字相同。工具未提交。
+
+| 说明 | 引用 | 未动 | 重定位 | 备注 |
+|---|---|---|---|---|
+| A | 21 | 7 | 14 | — |
+| B | 31 | 2 | 29 | — |
+| C | 30 | 20 | 10 | — |
+| D | 44 | 32 | 12 | `WireDraw.inc` +7（F）、`WireDeclines.def` +6、`CMakeLists` D 块 `:4831-4864` |
+| E | 41 | 21 | 18 + 1 行改写 | 第 93 行：调用与名已由本包删，改指删除注释与名单 |
+| F | 46 | 42 | 4 | 第 11 行「旧 `:1427`…」是 F 之前的位置，按原意不动；`:1460` 属 `WireFramebuffer.inc`，未变 |
+| S | 0 | — | — | — |
+
+- 集成方简报里的几处量值是中间合并点的：B 的 `CMakeLists` `:3355` 在 HEAD 是 `:3442`（非 `:3375`），`:4059` 是 `:4174`，`:2154`（`TcpServer.Start` 的 fixture 属性）是 `:2168`；D 的 `:4651` 是 `:4831`（非 `:4764`）；按内容为准。
+- 只改行号，不改历史陈述：B.md 的「名单保持 4 名」是 B 当时的读数，现为 3 名（§5）。
+
+## 8. 门
+
+（门跑完后填）
+
+## 9. 发现未修
+
+| 项 | 说明 |
+|---|---|
+| P12 extent 发布在 spawn 下首次生效 | §2 末条；需设备（红米 FCL→render server）确认 |
+| store 路由粒度 | 驱动写标按纹理；按层的标需要改 E 的 store 接口 |
+| B.md / E.md 的历史陈述 | 名单数、`copy-image-shadow-mirror` 的去向以本说明为准 |