手机符号清单与系统索引定向保管方案

2026-10-19 · E3通道/E2保管 · partial · 30/66，发送0/5，Gate R未关

来源：site/devlog/p4-fixture-lab-device-network-send-plan-2026-10-19.md；源SHA-256 5a0e1145f451987670f9c727969c40b4312290cdc240167cf8e9024df5c47bfe

### 手机producer来源的有限符号清单合同 · 2026-10-19

文档类型devlog增量，Lead定稿，基线9a0daf52；本地同名服务仅E1，两薄DDI负结果已封存；H1反证/22个头下界反例不回改。新exclusive `network-symbol-inventory-a01`，只查询现有RemoteXPC `com.apple.dt.remoteFetchSymbols`的DSCFilePaths列表与expectedLength，不调用download/iter_file_chunks、不启动Instruments观察器、不采样、不挂镜像、不全量拉取共享缓存，不据清单宣称已取到手机代码或指标通过。

先冻结selection与固定pmd11.3.1相关源码SHA及新host工具，检查本机≥10GiB/预计两倍（预算16MiB）及无当前采集/安装/测试执行器。使用唯一已配对目标的新native RSD连接，autopair=False；核手机实际身份/产品版本与Lab18安装身份、实际活动集合/每件summary+manifest源host SHA、全封口/released/no pending、自有App开始/结束idle，旧61集合及metadata需与封存末态完全相同。状态漂移/busy立即保留并停，不signal/launch/rename、不清理或创建容量。该只读检查仅本次有限来源研究准入，不替代后续新run/五轮容量。

在同lease下核实际RSD service entry，只对已公布服务发送一次带新sideChannel的DSCFilePaths请求。首响应count须是真int或固定SDK的XpcInt64Type/XpcUInt64Type（保留原tag、排除bool）且0–256；每项只接收元数据，path非空≤2048UTF8 bytes且绝对规范、不含NUL/上溯，expectedLength同样仅允许已列整型且0–16GiB；重复路径明确拒绝，不猜分片；输出只私有保存path/size/原响应安全typed形状与SHA、服务features及清单总量，公开只数量/总bytes/目标basename存在性。能力缺失、响应越界/畸形/超时均partial，未知请求不重发、不换服务盲重试。不是读文件传输，count0也不是完整producer证据。

每控制call≤8秒/close≤3秒、清单总≤15秒；preflight整体90秒、外层105秒/192MiB，清单独立外层30秒/128MiB；新增≤16MiB、O(metadata bytes+file count)，无全payload/常驻环境。先软件控制count/size/path/重复/畸形/超时/关闭失败、每请求一次且文件数据请求0；使用假的transport，不把它当手机资格。实际执行冻结源码，保管首响应/全量时间、CPU/RSS、原metadata source前后SHA；完成后在同连接重新核活动集合/no pending/idle及关闭结果，关闭不确定不声称completed。下一根据真实清单规模决定是否有有界获取目标代码的途径，不能预先批准下载多GiB cache；30/66、发送0/5、Gate R未关，不进193/产品诊断/正式/接收。

执行前补充：为同lease前后元数据核对，清单及资格在一个有限进程内运行，connect≤8秒＋清单≤15秒＋close≤3秒；整个105秒进程采用更严128MiB门（同时满足原192MiB上界），不拆连接或把资格收据当旧准入。7软件控制已通过，实际手机尚未执行。

### 符号查询前的自有测试台正常退出恢复 · 2026-10-19

新inventory-a01准入按合同拒绝：Lab18自有进程存在、61集合全封口/released/no pending，尚未发送symbols请求；0 signal/launch/写入、关闭无错，外层5.205999秒/94076928B，原件保留。Owner此前“我不方便操作，你自己退出吧”的自有测试台正常退出授权持续有效，本次不再询问。

新增exclusive `phone-owned-normal-stop-a04`，使用已审正常退出器并绑定本次a01 metadata全SHA；重新核同Lab18身份、实际61完整集合与122件metadata、无pending/全封口及开始生命。末尾两次核同当前生命与开始相同后，fsync本次意图并最多一次SIGTERM，≤3秒观察退出；任何未知信号结果/新生命/忙工作立即停、不重发/不强杀。不改数据、不安装、不launch、不归位，手机Documents写0；正常退出信号单列，不称整批0手机动作。90/105秒、192MiB、空间门不变。

随后仅一次新exclusive `network-symbol-inventory-a02`，独立新连接完整重核与a01及旧封存61 metadata逐件相同、idle、产品idle，再执行已定一次清单协议；不沿用退出收据作fresh admission、不重复a01的未知请求（a01实际请求0）。若再次出现新生命，a02拒绝，本轮不再自动signal。符号清单或正常退出不是指标资格，Gate R/30/66/正式0/5保持。

### 系统缓存索引的定向只读获取合同 · 2026-10-19

符号清单a02实际59文件/4043091248B，60份typed响应33218B；请求1、文件数据请求0，前后61记录metadata核同、idle及close无错。a04新同生命正常退出仅1信号，原忙拒绝保留。清单有两个同basename的主缓存：系统索引491520B与DriverKit主缓存9879552B，完整路径不同，不能按basename选大文件或混用symbol文件。

下一new exclusive `network-system-index-a01`，延续完整新鲜61只读资格与前后metadata/idle/来源pins；不launch/signal/安装/改手机数据。冻结a02实际**系统**主缓存的绝对路径+491520B预期和全部59个path/size集合（私有），新同lease下重查一次清单，仅集合完全一致时按本次索引请求该单文件；不假定旧枚举位置稳定。拒绝DriverKit、其他subcache/symbol文件、路径或size漂移。文件读取使用固定SDK RemoteXPC.iter_file_chunks的本次index，只一次fileDataRequest；单文件门1MiB，源expectedLength必须491520B，chunks逐块写私有新文件/SHA，短读/超额/超时/未知结果均partial保全，不重试、不补零。读完必须exact length，async generator有界关闭和client close各一次；不把SHA当Apple签名认证或已获完整framework。

先以fake transport控制选中身份、枚举重排仍按真实index、集合漂移、超额/短读、超时与关闭错误；流式O(491520B+metadata)、不保留全cache字节列表，新增预算4MiB，文件读≤15秒/每await≤8秒；connect8秒＋清单15秒＋read15秒＋close3秒，整个研究原90/105秒、128MiB门不变。离线只按Apple dyld_cache_format.h固定结构读magic/平台/UUID、映射/图片表与subcache VM索引；先格式边界控制、≤10000 image/≤128 subcache/2秒/64MiB。该491520B索引允许定位目标路径与静态映射，不执行/加载代码，不批准全4GB下载或预先下载大subcache。随后按真实索引另立目标范围合同；Gate R、30/66、正式0/5保持。

### Implementation / Validation Update · 2026-10-19 · 手机符号索引

新增三有界工具及7/5/4窄控制共16项通过；新busy准入失败保留并请求0，按Owner既有授权a04同生命正常退出1信号，新a02清单及system-index-a01两次完整61前后metadata/idle核同。59文件4043091248B仅取系统491520B；全部120 typed响应/3333 image/54 subcache分离核同，目标映像条目已定位、实际文件映射/producer代码未取。DriverKit与667MB symbols均未下载。实际资源、偏差与边界见[结果增量](/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19)。下一另定有限subcache来源合同，不进入193/诊断/正式/接收，30/66、发送0/5、Gate R未关。