[docs] (P7): record ratchet88 in CONTRACT-P7 4.1 and the 86 P13 symbols in 12

MobileGL/MG_Remote/CONTRACT-P7.md

@@ -82,7 +82,7 @@ P7 收官 = 五道出口门同时成立（§2–§7），而不是路线图 P7
 
 ## §4 出口门 4：184 符号棘轮下降 P7 的 101 个
 
-**4.1 定义（wave 0 包 R，`scripts/link_ratchet.py`）。** 在 disaggregated 构建的对象树上：按 `notes/p6/a6-link-experiment-data.md` 的路径规则把 `MobileGL.dir` 下对象分 SERVER / FRONTEND / SHARED；集合 = (SERVER 未定义) − (SERVER 已定义) − (SHARED 已定义) ∩ (FRONTEND 已定义)。baseline 存**符号列表**（`scripts/data/link_ratchet_baseline.txt`），`--assert-monotone` 只对新增符号红，消失只提示重基线（ID-P7-7）。基线数（`scripts/data/link_ratchet_baseline.txt`，`8bb6309a`）：**186** = `p7-magma` **101** / `p3b-p4b-espryt` **14** / `both-backends` **60** / `p6-core` 11——三个后端桶与 a6 的手数逐符号相同，多出的 2 个是 P6.5 的 `ClientSession::StartSpawned()` 与 `ProgramArtifactsSchemaFingerprint()`。Espryt 桶里 5 个是 `MG_Impl/Pipe/SlotAllocator.cpp.o` 定义的 `MG_Pipe::` 符号，按文件位置落在前端桶、只有 P13 的模块搬迁能清（标 `# P13`），所以 P3b/P4b 的可清数是 9 不是 14。`MG_Remote/FatalFunnel.cpp.o` 归 SHARED（两个角色都经它）；`MG_Backend/Init.cpp.o` 按 a6 规则归 SERVER，虽然它引用 5 个 client-session 符号。CI 步骤在 `build-linux-split` 作业；baseline 由参考工具链生成，CI 的 `clang++-20` 内联决策可能让首轮红——三元规则：已列类的兄弟方法、无新引用对象 = 内联，重基线；新引用对象永远不是内联。**重基线（wave 2-B2，`3c2867d3`）：186 → 173** = `p7-magma` **88** / `p3b-p4b-espryt` 18 / `both-backends` 56 / `p6-core` 11；(B′) 清掉 13 个（`ProgramObject::*`、`SamplerObject::Set*`、`ShaderObject::*` 的编译/链接路径）。剩下的 88 不是「隐藏程序」而是 **monolith draw 路径**（`UniformManager.cpp.o` 引用 `TextureObjectBase`/`TextureObjectWithOneMipmap` 等 62 个、`VkSamplerManager.cpp.o` 引用 `SamplerObject` 14 个 getter、12 个单例），`SetupDraw` 在运行时才分支到 `SetupWireDraw`（ID-P7-5 保留该运行时）——`#if` 掉这些 monolith 臂与 (B′) 是同一种操作、属 wave 3，故不标 `# P13`；§4.2 的「降到 0」对 (B′) 单独不成立。
+**4.1 定义（wave 0 包 R，`scripts/link_ratchet.py`）。** 在 disaggregated 构建的对象树上：按 `notes/p6/a6-link-experiment-data.md` 的路径规则把 `MobileGL.dir` 下对象分 SERVER / FRONTEND / SHARED；集合 = (SERVER 未定义) − (SERVER 已定义) − (SHARED 已定义) ∩ (FRONTEND 已定义)。baseline 存**符号列表**（`scripts/data/link_ratchet_baseline.txt`），`--assert-monotone` 只对新增符号红，消失只提示重基线（ID-P7-7）。基线数（`scripts/data/link_ratchet_baseline.txt`，`8bb6309a`）：**186** = `p7-magma` **101** / `p3b-p4b-espryt` **14** / `both-backends` **60** / `p6-core` 11——三个后端桶与 a6 的手数逐符号相同，多出的 2 个是 P6.5 的 `ClientSession::StartSpawned()` 与 `ProgramArtifactsSchemaFingerprint()`。Espryt 桶里 5 个是 `MG_Impl/Pipe/SlotAllocator.cpp.o` 定义的 `MG_Pipe::` 符号，按文件位置落在前端桶、只有 P13 的模块搬迁能清（标 `# P13`），所以 P3b/P4b 的可清数是 9 不是 14。`MG_Remote/FatalFunnel.cpp.o` 归 SHARED（两个角色都经它）；`MG_Backend/Init.cpp.o` 按 a6 规则归 SERVER，虽然它引用 5 个 client-session 符号。CI 步骤在 `build-linux-split` 作业；baseline 由参考工具链生成，CI 的 `clang++-20` 内联决策可能让首轮红——三元规则：已列类的兄弟方法、无新引用对象 = 内联，重基线；新引用对象永远不是内联。**重基线（wave 2-B2，`3c2867d3`）：186 → 173** = `p7-magma` **88** / `p3b-p4b-espryt` 18 / `both-backends` 56 / `p6-core` 11；(B′) 清掉 13 个（`ProgramObject::*`、`SamplerObject::Set*`、`ShaderObject::*` 的编译/链接路径）。剩下的 88 不是「隐藏程序」而是 **monolith draw 路径**（`UniformManager.cpp.o` 引用 `TextureObjectBase`/`TextureObjectWithOneMipmap` 等 62 个、`VkSamplerManager.cpp.o` 引用 `SamplerObject` 14 个 getter、12 个单例），`SetupDraw` 在运行时才分支到 `SetupWireDraw`（ID-P7-5 保留该运行时）——`#if` 掉这些 monolith 臂与 (B′) 是同一种操作、属 wave 3，故不标 `# P13`；§4.2 的「降到 0」对 (B′) 单独不成立。**收口（ratchet88，`p7/ratchet88`）：173 → 171** = `p7-magma` **86** / `p3b-p4b-espryt` 18 / `both-backends` 56 / `p6-core` 11；上一句的「不标 `# P13`」作废。先定的事实：disaggregated 构建的缺省传输就是 monolith（`ConfigLoader.cpp:322-330`；`SetupDraw` 只在非 monolith 下转 `SetupWireDraw`，`VulkanRenderer.cpp:7064-7073`），而它被三道门消费——CI `integration (monolith-control)` 在 disaggregated 主工件上跑 `integration-gpu`（`test.yml:303-309/:390`）、`build-linux-split` 的 monolith 遍是硬门（`test.yml:1531`）、设备 monolith-control 回放用同一 disaggregated APK 且是门 3 的同会话参照臂（`apk.yml:356-367`、§7.2）——所以 `#if` 掉 monolith 臂不是 (B′) 那种等价替换，而是删掉参照臂。逐重定位归因（`~/w7/logs/ratchet88/ATTRIBUTION.md`）：清掉的 2 个是 `MGPipeTextureLegacyArmScope` ctor/dtor——P5c 给 `VkTextureManager::SyncTexture` 的具名豁免，monolith 下空操作（`OnApplyThread()` 恒假），非 monolith 下临时探针（豁免一武装即 abort）在 magma split/spawn/tcp 与三条 full 车道零触发，连同类、计数器和守卫里的豁免行退役（守卫本身留）。余 86 全在活的 monolith 臂上，按名记 §12、baseline 标 `# P13`。B2 §4.3 的归因更正：对应用纹理的读经 `ITextureObject` 虚派发、不产生链接符号；`UniformManager.cpp.o` 的 62 个**全部**来自后端**构造**前端纹理当占位（`GetFallbackTexture` / `GetFallbackMultisampleTexture` / `MakePlaceholderTextureObject`，6 个无外联 key function 的纹理类的 vtable 在本对象就地发射，引出 52 个虚函数）。
 
 **4.2 P7 的目标。** `--bucket` 归到 DirectVulkan 引用对象的那一桶（a6 的 101）降到 **0**。唯一还在构造前端 `SamplerObject` / `ShaderObject` / `ProgramObject` 的 DirectVulkan 站点是 `VulkanRenderer.cpp:4526-4583 / 4624-4684`（monolith 臂的隐藏 blit / 深度 mip 程序），其 early-return 是运行时而非 `#if`，所以符号仍被引用。降到 0 的路径：在 **disaggregated 构建里** monolith 臂也改用烘焙模块（§5.2 的 (B')），pull 构建的代码逐语句原样——G1 不动。若 wave 3 实测某桶符号无法在不动 pull `.text` 的前提下消失，按名记入 §12 并在 baseline 里 `# P13` 标注，不算门 4 失败。
 
@@ -180,3 +180,8 @@ verify **在 wave 3 之前**只在 monolith 臂注册（`MG_IntegrationTest/CMak
 - **M2 r2 的代价（集成者审查，ID-P7-46）**：wire store 的 destroy epoch 进了 `UniformManager` 的两个 descriptor memo，所以每次销毁事件之后同 program 的第一笔 draw 多一次 descriptor set 分配 + 写（bsl 整跑 ~2.6 万次销毁 / 130 万次调用），并把 §6.1 的长帧内 descriptor set 增长每事件多推一个 set——这是 M3 的分母，不是新债；`ServerSpawn.cpp` 放行名单（`WIRE_DEFERRED_MB` / `SPIN_US` / `SERVER_AFFINITY` / `AUDIT`）之外的 `MOBILEGL_IPC_*` 仍被清洗，都是协议形状（双方必须一致）或 client 读的值，不记债。
 - **M3 长帧 descriptor 游标（ID-P7-50）**：M2 r2 上述额外 descriptor 写入的增长已由 M3 的 2048 Acquire 边界回卷约束；证明在 graphics queue idle 后才重写 set，避免依赖 B4 尚未修的单 fence 退休。主机 bsl 确有一次回卷（缓存总数 3555 是多个 layout 的历史集合，2048 是单 epoch Acquire 上限，不是进程全局缓存上限）。queue idle stall 是性能记录项；M3 后 APK 的真机回归仍待取。
 - **Ph 簇 F 的两处预认证暴露**（wave 2-F 之前就在树上，F 修复轮审查核实，归 PH-7 (5)「有界的预认证工作 + 失败退避」，P7 之后）：(a) TCP supervisor 对每条连接**先 fork 再读 Hello**（`ServerMain.cpp` `RunSession`），未认证对端每连接可让 server 付出一次 fork + 最长 10 s 的 Hello 等待；(b) `ValidatePeerHandshake` 在 `AuthenticatePeerToken` **之前**跑，`Refuse{ProtocolVersion|WireFingerprint|BuildFingerprint}` 把本端 wire 指纹与 build stamp 送给了未认证的对端。同一轮记下的本地对端债：unix 端点仍按到达顺序配对（`AcceptPair` 250 ms / 2000 ms 窗口），抽象命名空间套接字没有 mode bits，「只有本 app 能连」靠 SELinux 域隔离而非传输层。**指纹不对称**（§10 第 3 条的 `wireFingerprint` 变化）：新 server 对旧 client 回 `Refuse{WireFingerprint}`；旧 server 对新 client **没有任何 Refuse 帧**——旧 `AcceptPair` 等第二条连接 2000 ms 后关掉两条，client 只看到 `no Welcome ... (rc=6)`，即设备上的 server 未随本次构建重装。细节 `notes/p7/ph-f.md` §2.2 / §6.4。
+- **门 4 的 `p7-magma` 余 86 = `# P13`（ratchet88，§4.1）**：全在 disaggregated 构建的缺省传输 monolith 臂上（CI monolith-control 与门 3 参照臂在用），不动那条臂就消不掉；P13 删 `MGB_CTX`、建 server 镜像边界时随 monolith 臂离开 server 对象。四组：
+  - 占位纹理 62（`UniformManager.cpp.o`）：`TextureObject{1D,2D,2DCube,3D}` ctor、`TextureObjectBase` ctor/dtor、`TextureObjectWithOneMipmap` vtable/typeinfo、`TextureObjectBase::*` 32 + `TextureObjectWithOneMipmap::*` 20 个虚函数、`MGPipeNoteAggregate` / `TextureObjectBase::PipePublishParams`；唯一不等 P13 的路是让 monolith 臂改用 wire 原生占位（`WirePlaceholderImages.inc`），但那会改参照臂的可观测（未绑 1D/3D/立方/数组采样器由丢 draw 变成画、shadow 占位 RGBA8 → D16、MS 占位由未定义变成 (0,0,0,1)），须单独裁定 + 设备窗口。
+  - 采样器 14：`SamplerObject::Get{BorderColor,BorderColorI,BorderColorUI,CompareMode,MagFilter,MaxAnisotropy,MaxLod,MinFilter,MinLod,MipmapMode,SamplerCompareFunc,WrapR,WrapS,WrapT}`（`VkSamplerManager` 的 `<SamplerObject>` 实例化；5 个另由 `UniformManager::ProgramSamplesOnlySingleLevelTextures`）。
+  - 对象读 6：`FramebufferAttachmentObject::{GetSize,IsComplete,IsValid}`、`RenderbufferObject::IsAllocated`、`VertexArrayObject::GetIndexBufferBindingSlot`、`BufferObject::EnsureGpuResidentStorage`（monolith render pass / clear / blit / 回读 / 索引 / SSBO 与 XFB）。
+  - `MGB_CTX` 访问 4：`PipeInputs::{GetTextureObject,HasOpenTransformFeedbackSpan,InvalidateCompileEnv}`、`GLImpl::CopyTextureImageToClientOrPBO_State`。