MobileGL/docs/Disaggregated/notes/p7/magma-b3.md

P7 wave 2-B3：Magma wire 臂的「已完成帧序号地板」不可证（分支 p7/magma-b3）

计划见 PLAN-PH-P34B-P7.md §3 wave 2；规范见 CONTRACT-P7.md §0（规则 I / J）、§3.2、§7、§9； 裁定 ID-P7-14 / 19 / 20 / 21 / 23。基线 = feat/disaggregated 上 ~/w7/pipe 的头 8c5dd6fc。 本文所有 file:line 均在该提交上读取。

主机口径：WSL Arch + lavapipe（/usr/share/vulkan/icd.d/lvp_icd.json），build-split = Release / clang / ccache / DISAGGREGATED=ON INPROC=ON PIPE_PUSH=ON BUILD_INTEGRATION_TEST=ON， ICD 与 ~/w7/pipe/build-split 逐项相同（p7_worktree.sh 钉）。

基线门读数（~/w7/logs/p7-gate-d1.log）：unit 2420、integration-magma-split 88、 -spawn 67、-tcp 69、integration-magma-full-split 526、integration-split 226。

出口门 3 的锚点：OpenRA / DirectVulkan / pbuffer 在 Redmi（Adreno 830）上，wire 臂（inproc 与 spawn）每跑一次是金图 ace2af04 与错图 fb75d412（14658 px）之间的 ~50% 抛硬币， 另有第三张 4e5ba514（9836 px），而通过与失败两次运行的 client/server 日志逐行相同。

结论一句话：服务端把「帧 N-1 已完成」这件事建立在一次它没有证明过的 fence 上，于是帧 N 的第一次 流式 glBufferSubData 走了无同步的 host memcpy，而上一帧尚未执行完的 vkCmdCopyBuffer 随后盖了上去。

---

0. 每片一条提交

片	名	内容
1	规则 I 的具名 + 计数	wire draw 路径上每一处静默 return false 得名、得计数、得一行 decline 日志；UploadPendingWireLevels 的五个出口与两个「不失败但留着 pending」的 continue 分开计；pending 上传 gauge；MOBILEGL_MAGMA_WIREBUF_PROBE 探针
2	判据加 fence 项（纵深）	WriteWireBuffer 的 busy 判据从「帧计数」改为「帧计数 或 提交 fence」；MGITEST_MAGMA_FORCE_STALE_BUFFER_SERIAL
3	车道	F1WireScenario.StreamedBufferSubDataBeforeEachDrawIsOrdered × 三臂 × 两档
4	可证的地板（主修）	OnSubmitsCompletedUpTo 只把地板推到没有任何在飞提交仍持有的序号；unsound-serial-complete 计数器
5	本文	—

---

1. 片 1：先把「静默丢 draw」变成可读的数（规则 I）

1.1 做了什么

Renderer/WireDeclines.def（新）列出 wire draw 路径上每一个静默出口的名字， Renderer/WireDeclineTally.h（新）展开成计数表 + MGL_WIRE_DECLINE_AT 宏（计数永远动， MGLOG_E_ONCE 每站点一次），形状取 PipeApplier.h:229-234 的 ServerVerbSink tally， 理由也一样（R-16：探针不能对着桩武装）。落点：SetupWireDraw / DispatchWireCompute 25 处、 PrepareWireTextureResources 3 处、SyncTextureResourceByHandle 4 处、 UploadPendingWireLevels 侦查提名的五个 incomplete/false 出口（:2410 :2436 :2453 :2499 :2508） 加上两个只 continue 的——后者报告成功却把条目留在 pending 集合里，单独一个名字。

同包加了 pending 上传 gauge（条目数 / 字节数 / 峰值），在 UploadPendingWireLevels 的漏斗处取样。 一处如实更正给 M1：VkTextureManager.cpp:2485-2490 的 region.owned 是 items 里的局部 Vector<Uint8>，随函数返回析构，不是泄漏点；活下来的是 StagedTextureStore 的 level 影子与 record.PendingUploads 的条目。

1.2 未强制的 tally：全零，lens A 的首选假说被证伪

OpenRA / DirectVulkan / MOBILEGL_TRANSPORT=inproc / lavapipe：retrace PASS ssim=1.0， transport=inproc，Fatal{ 0 行，grep MGWIRE-DECLINES 空——32 个出口一次都没走过，pending gauge 恒 0。

这与裁判的独立判定一致：lens A 的「静默丢 draw」出局。裁判给的两条更硬的理由： SetupDraw 的每一个 bail-out 都 MGLOG_E_ONCE（而通过/失败日志逐行相同）；且 4e5ba514 只移除了调用 30376 的四边形 q00..q30，q31..q52 逐字节完好—— 一个被丢掉的 draw 要么全丢要么不丢，不会丢一个前缀。

1.3 tally 不是桩（R-16，已执行并还原）

把 WireDraw.inc 的 PointSizeCapability 条件临时改成恒真重建，跑 DirectVulkan.Split.Fm.F1WireScenario.StreamedBufferSubDataBeforeEachDrawIsOrdered：

***Failed
[mgl-srv-apply/ERROR]: Magma wire draw declined [PointSizeCapability]: the program writes
    gl_PointSize and the device cannot express it
[mgl-srv-apply/INFO]: MGWIRE-DECLINES[shutdown] total=4 ...
[mgl-srv-apply/INFO]: MGWIRE-DECLINES[shutdown]   PointSizeCapability=4

四个 draw、四次计数、一行具名日志、用例按名变红。还原后绿。

1.4 这些名字留在树上

规则 I 说 wire 臂的拒绝只有 decline 与具名 Fatal 两种形状；裸 return false 是第三种。 本包把这条路径上的每一个都变成了 decline：具名、计数、每站点一行日志。

---

2. 机制（裁判 H1，本包在主机上按计数器确认）

2.1 现象：这是一次 draw 的顶点区间的前缀撕裂

lens D + 裁判的逐字节取证：错图 100.0% 的失配像素落在一个 draw （调用 30376，glDrawArrays(GL_TRIANGLES, first=0, count=318)）的屏幕四边形并集内，并集外一个都没有。 该 draw 的顶点来自调用 30366 写进 GL buffer 1 的 11448 字节（off=0，GL_DYNAMIC_DRAW，从不 orphan）。

• 318 顶点 / 6 顶点每四边形 = 53 个四边形，11448 / 53 = 216 字节/四边形；
• 4e5ba514 = 丢 q00..q30 = 31 个四边形 = 前 31 × 216 = 6696 字节；
• fb75d412 = 整个 11448 字节都丢。

6696 与 11448 都是 buffer 1 自己的写尺寸，本包的探针在主机上直接读到（末帧对 slot=1 的写序列）：

216 216 11448 216 8640 12096 216 11880 2376 1296 2592 2592 2592 2376 2592 1728
2592 1296 2592 3024 2592 864 6696 3456 216 216

全程 size=6696 出现 26 次、size=11448 出现 5 次——即「前一帧写过的某一笔又盖了上来」。

2.2 链条（file:line）

1. 一个帧序号上有两次提交（wire 臂），monolith 只有一次。本包实测（OpenRA 主机回放， MOBILEGL_MAGMA_WIREBUF_PROBE=1）：

   臂	BeginFrame（帧序号自增）	最大提交序号	最大帧序号	退休时仍有在飞记录
   monolith	33	30	32	27
   inproc	33	73	32	26
   spawn	33	73	32	26

   即 split 上 ~2 次提交/帧序号、monolith ~1 次——与 lens C 的 +2 / +1 一致。

   • S1：每帧的调色板 glTexImage2D（调用 30232）在第一次采样调色板的 draw 上经 UploadPendingWireLevels → FlushWirePendingCommandsForTextureUpdate （VkTextureManager.cpp:2508；VulkanRenderer.h:149-151）→ FlushPendingCommands （VulkanRenderer.cpp:13676）提交，带 pooled fence。
   • S2：本帧的 draw，以及 StagedWireRangeCopy（VkBufferManager.cpp:780-824）为每一次流式 glBufferSubData 录下的带 barrier 的 vkCmdCopyBuffer，在 Present 提交，带帧槽 fence。
   • 两者帧序号相同：RegisterSubmit（VulkanRenderer.cpp:13458-13461）记的是提交时刻的 m_bufferManager.GetFrameSerial()。

2. S1 很小，几乎立刻 signal。 RefreshCompletedSubmits（:13463-13478，前缀扫描）单独退休它， 而 OnSubmitsCompletedUpTo（:13480-13504）对每一条退休记录调 m_bufferManager.NotifyFrameSerialComplete(record.frameSerial)（:13488）—— 于是地板被推到 N-1，而真正携带帧 N-1 缓冲拷贝的 S2(N-1) 还在执行。

3. GetCompletedSerial()（VkBufferManager.cpp:572-576）= max(m_frameSerial - frameCount, m_completedSerialFloor)，现在返回 N-1。

4. 帧 N 对 buffer 1 的第一次写（调用 30366，lastUseSerial = N-1）于是没过 WriteWireBuffer 的 busy 判据（:254），走了 :268 的无同步 host memcpy。

5. S2(N-1) 排队中的 vkCmdCopyBuffer 随后落下，盖在刚写进去的字节上。 盖多少，取决于 memcpy 落地时 S2(N-1) 还剩哪些拷贝没执行——即上一帧写列表的一个后缀， 撕裂长度就是那个后缀里的最大尺寸：

   • 后缀只剩 …864, 6696, 3456, 216, 216 → 最大 6696 → 毁前 6696 字节 = q00..q30 = 4e5ba514；
   • 后缀还含 12096 / 11880 / 12744（≥ 11448）→ 整个 11448 全毁 = fb75d412。

   这正是裁判说的「上一帧写列表的后缀极大值」，两档落在 6696 与 ≥11448 上。

6. 为什么日志逐行相同：这条路径上没有任何日志语句——没有 decline、没有 GL 错误、没有 Fatal。 draw 照常执行，只是读到了被覆盖的字节。

2.3 三条独立佐证

• 抛硬币：是否出错，取决于 apply 线程走到 30366 时 S2(N-1) 有没有跑完。 MOBILEGL_PIPE_STATS=1（每帧多一行日志）4/4 通过、harness 纹理 dump（多一次回读）把结果推到 0/5 金图， 都是时序位移。
• RUN_AHEAD=0 给第三张固定的图：lockstep 让 client 在每条记录后等服务端， apply 线程到达 30366 的时刻相对 S2(N-1) 固定，后缀因此每次相同 → 一张确定的图。
• FRAMESINFLIGHT=4 / 8 6/6 全是 fb75d412（设备 E5）：帧在飞得更多 → GPU 更落后 → memcpy 落地时 S2(N-1) 剩的后缀更长、含更大的写 → 整笔全丢，永远不是 6696 的部分丢。 这条同时排除了计数项 m_frameSerial - frameCount：该项随 FIF 变大只会更严， 所以被推错的是 m_completedSerialFloor，不是计数项——正如 H1 所说。

2.4 一条早先的错误诊断，如实记录

本包第一版把机制记在 TryDrainFrameTransients 每第 8 次 drain 的帧中 BeginFrame 上。 那是错的，而且本包自己的探针就否掉了它：整个 OpenRA 主机回放里 drain 只成功 1 次、 帧边界工作 0 次，33 次 BeginFrame 全部来自 Present。裁判亦将该族（H4）判为在本 trace 不可达 （没有 sync object / map / PBO）。保留此段是因为该误诊曾写进过本文。

---

3. 修复

3.1 主修（强制）：让地板可证明

VulkanRenderer::OnSubmitsCompletedUpTo，全部在 #if MOBILEGL_BUILD_DISAGGREGATED 内 （#else 分支逐字保留今天的语句，这是 G1 的保证）：

// 循环内：只累计，不通知
retiredAny = true;
advanceTo = std::max(advanceTo, record.frameSerial);
// 循环后：钳到「没有任何在飞提交仍持有」的序号
if (retiredAny) {
    for (const auto& remaining : m_inFlightSubmits)
        advanceTo = std::min(advanceTo, remaining.frameSerial > 0 ? remaining.frameSerial - 1 : 0);
    m_bufferManager.NotifyFrameSerialComplete(advanceTo);
}

NotifyFrameSerialComplete 本就单调且拒绝「仍在录制的序号」，所以这只会让地板推得更晚， 永不更远。disaggregated 构建的 monolith 臂行为逐位不变（一个序号一次提交——本包实测 monolith 30 次提交 / 32 个序号，且 unsound 计数为 0）。

3.2 纵深（rule I 形状）：判据自己也带一条 fence

WriteWireBuffer 的 busy 判据加第二项（VkBufferManager.cpp，全部 disagg-only）：

Bool busyBySerial = resource->lastUseSerial > GetCompletedSerial();          // 旧的计数项，保留
const Bool busyBySubmission =                                                // 新的 fence 项
    pVulkanRenderer != nullptr && !pVulkanRenderer->IsSubmitIndexComplete(resource->lastUseSubmitIndex);
if (busyBySerial || busyBySubmission) { /* 有序拷贝，或等 */ }

WireBufferResource 加 lastUseSubmitIndex，在 AcquireWireSlice / StagedWireRangeCopy 置为 pVulkanRenderer->GetWireNextSubmitIndex()（= m_submitCounter + 1， WireDraw.inc:113-118 的 RetireWireObjects 早就用同一个数；刻意不用 GetSyncPointSubmitIndex()——它在「当前没有录制」时答 m_submitCounter，而 SetupWireDraw 取顶点切片早于 BeginCommandRecording()，正好落在这个洞里）， 在 WaitForWireBufferHostAccess 等齐后清零。IsSubmitIndexComplete 对尚未提交的序号答 false， 对已提交的 poll 真 fence。

这一项在地板可证之后本不该再触发，它是纵深与设备探针。GetCompletedSerial() 本身一行未动 ——它也服务 monolith 的 VkBufferResource 路径，改它会动 pull .text。

3.3 未做的（按裁判的 MUST NOT / 债务清单）

• 裁判建议的次修 WaitForSubmitsUpTo(submitIndex, timeoutNs) 聚合等待（用于 WaitForSubmitIndex :13766-13778、WaitForFrameSerial :13396-13410、Present :14094） 本包未做，理由与证据见 §7。
• TryDrainFrameTransients / CollectWireObjects(all=true) / StagedTextureStore 一律未动（记债）。
• 无新增 abort / Fatal；B 的回读聚合等待原样保留； MOBILEGL_TEST_PIPELINE_CREATE_DELAY_MS 与 .PipelineDelay. 条目原样保留。

---

4. red-once（规则 J）

4.1 (a) 确定性计数器：unsound-serial-complete

计数点就在 §3.1 的钳制处：把地板推到某个仍有在飞提交持有的序号。 有钳制时不可达；R-16 的还原就是删掉那个 min 循环。 （读数从日志取：本 trace 的渲染器从不 Shutdown()——进程直接退出——所以 teardown dump 报的是 起会上下文的 0，不是回放的计数；因此每个事件各打一行 MGLOG_W。）

	monolith	inproc	spawn
基线（删掉 min 循环重建）	0	26	26
修复后	0	0	0

三臂 retrace 全程 PASS ssim=1.0 sha=ace2af04（主机的 barrier 恰好把它救回来，见 §2.3； 主机上这个缺陷是计数器可见、图不可见——和包 B §5.2 的 fences=2 vs 1 同一形状）。 「退休时仍有在飞记录」monolith 也有 27 次，但那些记录持有的是更高的序号，所以 monolith 恒 0。

4.2 (b) 车道用例：像素级的红，在两进程臂上

F1WireScenario.StreamedBufferSubDataBeforeEachDrawIsOrdered：8×8 FBO，一个 GL_DYNAMIC_DRAW VBO（不 orphan），四批顶点依次写进 offset=0 的同一区间再立刻 glDrawArrays， 每批画自己那两列、用自己的颜色；回读断言每一列是自己的颜色。 用例不能只断言「无 GL 错误」——这条路径上没有错误可断言，只有像素。

三臂各注册两条：Fm.（无旋钮，回归门）与 StaleSerial.（带 MGITEST_MAGMA_FORCE_STALE_BUFFER_SERIAL=1，即 red-once）。该旋钮让 §3.2 的计数项说谎， 不绕过有序拷贝，所以跨修复仍有效。

基线（把 busyBySubmission 临时改回 false 重建；R-16，已执行并还原）：

ctest -R "DirectVulkan\.(Split|Spawn)\.(Fm|StaleSerial)\.F1WireScenario\.StreamedBufferSubDataBeforeEachDrawIsOrdered" --output-on-failure

1/4 Test #4274: DirectVulkan.Split.Fm.         ...   Passed
2/4 Test #4275: DirectVulkan.Split.StaleSerial....***Failed
3/4 Test #4317: DirectVulkan.Spawn.Fm.         ...   Passed
4/4 Test #4318: DirectVulkan.Spawn.StaleSerial....***Failed
    F1.StreamedSubData: batch 0 column 0 lost its own vertices (r)
    F1.StreamedSubData: batch 0 column 1 lost its own vertices (r)
    F1.StreamedSubData: batch 1 column 2 lost its own vertices (g)
    F1.StreamedSubData: batch 1 column 3 lost its own vertices (g)
    F1.StreamedSubData: batch 2 column 4 lost its own vertices (b)
    F1.StreamedSubData: batch 2 column 5 lost its own vertices (b)
50% tests passed, 2 tests failed out of 4

前三批丢了自己的顶点、最后一批没丢——「所有 draw 都读到了最后一次写的字节」。修复后 4/4 绿。

4.3 (c) 强制条件下的 OpenRA retrace（主机，真图）

同一旋钮打在 OpenRA split retrace 上（MOBILEGL_TRANSPORT 分别 inproc / spawn， 两进程那遍 client 日志有 transport=spawn、server pid=…）：

	selector	inproc	spawn
基线	=1（全毒）	FAIL ssim 0.270612 / 152216 px / sha 8302218f	逐字相同
基线	=594（只毒一对）	FAIL ssim 0.987890 / 8102 px / sha 69b2a2fe	逐字相同
基线	=601（只毒一对）	FAIL ssim 0.970775 / 2115 px / sha fa6b6730	逐字相同
修复后	=1 / =594 / =601	PASS ssim 1.000000 / 0 px / sha ace2af04	逐字相同

毒一次写 = 丢一块有界的像素、每个 selector 一张确定的图（扫描 N=586…601 给出 2115…29490 px 的一串互不相同的 sha）——与设备上 0 / 9836 / 14658 的量化形状同类。 inproc 与 spawn sha 逐字相同，证明机制在服务端。

按 lens A 的口径做连通域分析，强制图给出两种解码结局：N=601 最大块金图是 “Quit” 按钮、 实际画出字体图集的整条字形带（梯度比 6.6，读到了别批的顶点）；N=594 的块金图是 “Multiplayer”、 实际几乎空白、底色完好（梯度比 0.200，什么都没画）。设备上 lens D 量到的是后一种。

4.4 裁判建议的 (b) GPU-drag 旋钮：未做

裁判建议用 MOBILEGL_TEST_WIRE_GPU_DRAG_FILLS 在每帧命令缓冲头部插 n 次 vkCmdFillBuffer 把 Present 提交拖慢，好让主机也出一张真实（非强制）的前缀撕裂图。 本包没有做，理由是它在本包的修复下已无法变红（§3.1 的地板与 §3.2 的 fence 项都不依赖时序）， 也就不再是 red-once，而是一条新的回归门；而裁判自己也把「lavapipe 的队列线程能否拖够久」列为 未决。本包已有的 red-once 是 §4.1 的确定性计数器（B §5.4 的形状）加 §4.2 的两进程像素用例， 两者都不靠时序。如实记录：主机上因此没有一张自然发生的错图，只有计数器与强制图。

---

5. 门

（~/w7/b3-out/gate-h1.log，脚本按 ~/w7/logs/p7-gate-c-inner.sh 的量法。）

• G1：build-linux（pull）.text = 0xa52203，nm --defined-only 对 ~/w7/p7-before/pull-syms.txt added=0 / removed=0，编译 rc 0（含测试，ID-P7-11）。 OnSubmitsCompletedUpTo 的 #else 分支逐字保留原语句；其余改动全部在 #if MOBILEGL_BUILD_DISAGGREGATED 内。
• scripts/ci/fatal_census.py rc 0：79 abort / 20 文件、44 家族词、3 refusal 词、0 无标记——与基线同数。 本包不新增 abort 站点，也不新增家族词：所有新拒绝都是 decline。@P7 站点 12，不变。
• scripts/link_ratchet.py --assert-monotone：unchanged at 186，不上升。
• scripts/ci/spawn_lane_parity.py build-split：rc 0。

车道	基线	本包	差
unit	2420	2420	0
integration-split	226	226	0
integration-magma-split	88	90	+2
integration-magma-spawn	67	69	+2
integration-magma-tcp	69	71	+2
integration-magma-full-split	526	527	+1

---

6. 集成者要跑的设备验收

Redmi（Adreno 830）、OpenRA、DirectVulkan、--use-pbuffer：

• 臂：inproc 与 spawn 各一组；档：默认 run-ahead 与 MOBILEGL_IPC_RUN_AHEAD=0 各一组；
• 每组 6 遍（pm clear 冷跑）；
• 判据：每一遍 sha256 = ace2af04、ssim 1.000000、mismatch 0 px——4 组 × 6 遍 = 24 遍全金，零翻转。

外加三条预测检查（H1 若成立必须成立）：

1. 带 harness 纹理 dump（--dump-texture-2d 31249,3,0）再跑 3 遍。今天它把结果偏到 0/5 金图， 是最灵敏的探针；修复后应当全金。
2. MOBILEGL_MAGMA_FRAMESINFLIGHT=8 跑 3 遍。今天 FIF=4/8 各 3 遍 6/6 全是 fb75d412； 修复后应当全金。
3. MOBILEGL_MAGMA_WIREBUF_PROBE=1 各跑一遍，grep -c unsound-serial-complete： 修复前应为非零（主机 26/帧序号级别），修复后应为 0。

H1 还预测：修复前每一张错图都是调用 30376 的四边形前缀 q00..qK， K+1 ∈ {1, 16, 31, 53}（对应上一帧写列表后缀极大值 216 / 3456 / 6696 / ≥11448）。 若设备上出现一张非前缀的错图，H1 就不完整。

---

7. 欠的、不声称的、给别人的

7.1 次修（聚合等待）未做——以及它为什么没有立刻变成红

裁判建议把 WaitForSubmitIndex（:13766-13778）、WaitForFrameSerial（:13396-13410）、 Present（:14094）三处「等一条 fence、把它之前的都记成完成」换成一个聚合等待 WaitForSubmitsUpTo。裁判同时提醒：地板变可证之后，WaitForFrameSerial 的注释 （:13398-13401）所依赖的「逐记录推进地板」没有了，若不聚合等待，IsFrameSerialComplete 可能永远为假，timer-query 收割（:13875）会卡住。

本包没有做这一步，并给出实测：本包的主修落地后， unit 2420、integration-split 226、三条 magma 臂 90/69/71、integration-magma-full-split 527 全部 100% 通过，OpenRA 三臂 retrace 全金——即在本树的车道覆盖下，收割没有卡住。 这不等于该风险不存在：IsFrameSerialComplete 的消费者在没有 Present 的循环里才会暴露， 而本树的车道里那类循环很少。建议集成者把聚合等待作为 B4 单独派，连同 §7.2 的 H2 债一起做， 理由是它需要自己的 red-once（一条无 Present 的 fence 循环用例），不该搭在本包里。

7.2 记进 CONTRACT-P7.md §12 的债（裁判点名，本包不碰）

• H2：WaitForSubmitIndex / WaitForFrameSerial / Present :14094 的单 fence 退休， 与包 B §5.3 修掉的是同一形状；在本 trace 不可达，但是真债。
• TryDrainFrameTransients 的 CollectWireObjects(m_completedSubmitCounter, /*all=*/true)（:13526） 无视 RetireWireObjects 给未来对象打的 m_submitCounter + 1 标（WireDraw.inc:113-118）。
• HasPendingRecordedWork（:13434-13440）对 pre-pass 命令流是盲的。
• FlushWirePendingCommandsForTextureUpdate（VulkanRenderer.h:149-151）把 「此刻没有录制」当成「没有在飞」。
• StagedTextureStore AdoptRun 缺 extent-move 复位（StagedTextureStore.h:234-243 vs :270-284）。
• VkBufferManager.cpp:530-544 的注释「Mid-frame drains do not advance m_frameSerial」 在今天的树上是错的（TryDrainFrameTransients 每第 8 次 drain 会调 BeginFrame）。 结论（不在该处回收 arena 存储）仍然正确，只是理由写错了；改注释会和 B2 在同文件区域的改动打架。

7.3 给 M1：OpenRA 的真实提交结构（回答「present 只发生一次吗」）

不是——至少在 OpenRA 上不是。本包实测（§2.2 表）：三臂 BeginFrame 都是 33 次， 最大帧序号 32，而整个回放里 TryDrainFrameTransients 只成功 1 次、其中走到第 8 次帧边界工作的 0 次。也就是说这 33 次帧序号自增全部来自 Present，OpenRA 的 pbuffer 回放每帧都有 present。

M1 在 bsl-esc-menu 上量到的 present=1 与此不一致，所以那是该 trace / 该 surface 的事实， 不是「pbuffer 一律不发 present 记录」的通则。本包没有改任何 client 发射路径（按要求）。 承载帧 N-1 流式拷贝的是 Present 提交 S2(N-1)；把地板推错的是调色板 flush 的 pooled fence S1(N-1) 退休（§2.2 第 2 点）。若 bsl-esc-menu 上真的没有 per-swap present， 那么在那条 trace 上 S2 是别的东西（最近一次 FlushPendingCommands）， 地板与 arena 的推进几乎停滞——那是另一个问题（服务端帧边界被饿死）， 按 M1 的判断应当单独成包，本包不动。

7.4 不声称

• 不声称解释了设备上 9836 / 14658 两档的逐 case 归属——§2.1 的算术（216 B/四边形、 6696 = 31 个四边形）与后缀极大值的读法来自裁判的取证加本包的主机写列表，未在设备上直接验证。 §6 的预测检查就是为此而列。
• 不声称主机上能自然复现错图：本包在主机上只有计数器（26 → 0）与强制图。
• 规则 I 的 tally 覆盖的是 draw/dispatch 路径；WireFramebuffer.inc 的 blit/mipmap 路径由 B / B2 持有，本包按文件分区没有碰。