手机符号清单与系统索引定向保管结果

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

来源：site/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19.md；源SHA-256 2ef0d7a179f5bd30112890d4e36a3b7365d60bac2769a536ef4ae04e9564a90f

## Implementation / Validation Update · 2026-10-19 · 手机符号清单与系统索引定向保管

文档类型devlog增量，基线9a0daf52。上一H1反证/22个头下界反例保持，不能据此修改产品；上一交付GitHub核同、GitLab一次失败，同提交站点18.193710秒/聚合1368997888B通过、579页/737目标/619锚点，网站未发布/Webhook缺配置继续partial。本批同一AI方案、实现、测试后分离复核，无子代理；当前30/66、发送正式0/5，Mac192/Lab18不改。

### 实现与新准入失败保留

新增host研究工具`bounded_symbol_inventory.py`、`bounded_symbol_file.py`、`dyld_cache_index.py`及对应三窄控制文件。前两工具只使用固定pmd11.3.1 RemoteFetchSymbols/RemoteXPC接口，原SDK不修改；保管SDK解码response的显式类型tag，包括XpcInt64/UInt64、UUID/FileTransferType，不称wire原件。仅一清单请求、≤256件/路径≤2048B/expectedLength≤16GiB，未知/超界/重复/超时拒绝；client连接失败及读取失败也close一次，关闭失败不completed。

首次新inventory-a01在Lab18/实际61及全部封口/no pending核对后发现自有App存在，idle门拒绝，symbols请求0、signal0、关闭无错。全部122件metadata与旧封存核同；按Owner既有自行正常退出授权，新a04另查同一生命及全sealed/released/metadata，fsync意图后仅一次SIGTERM，正常退出与独立idle确认成立，未launch/强杀/删除。busy失败原件不改成成功，也没有连续signal或隐含重试。

### 手机实际清单与只取480KiB系统索引

新独占inventory-a02使用独立新连接完整重核Lab18身份、61记录metadata、idle、产品播放idle，才在同lease查询服务；实际59文件、总4043091248B，60份typed response/33218B逐行及总SHA保管。首保存26.926ms、清单58.675ms，请求1、文件数据请求0；之后同连接重读122件metadata逐SHA核同、集合/no pending/idle不变，close无错。清单只是E3服务事实，不是手机二进制或E4数值证据。

发现同basename主缓存分属系统及DriverKit，大小491520B和9879552B，故不能按basename挑大文件或扁平化目录。追加合同后，新`network-system-index-a01`再次新连接/完整准入，重查全部59个绝对path/size集合核同；按本次实际index（不沿旧序号）仅请求固定491520B系统主索引。流式逐chunk存储/SHA，实际491520B精确相符、数据stream请求1；清单＋读取66.596ms，完整前后资格另计。没有下载DriverKit、667MB symbols或全4GB缓存，没有改手机文件/安装/launch/新run/归位/容量/Session；本批仅上述1次已授权正常退出信号。

### 双路结构核验与当前来源边界

reader按固定[Apple dyld缓存结构原文](https://github.com/apple-oss-distributions/dyld/blob/fd8d0c4d52320ebf64db34f3cb280310d905c5ae/include/mach-o/dyld_cache_format.h)验证magic/平台、映射与范围、图片及text双表、路径边界和subcache索引；原文30457B/SHA私有固定。实际iOS platform2、3333 image/54 subcache，主文件映射475136B。另一路从固定官方C声明独立构造ctypes字段偏移，再直接读整数及路径，全部3333 image/text与54 subcache元数据逐项核同，不导入主parser。

手机导出的索引包含DVTInstrumentsFoundation（text1036288B）和NetworkStatistics（text311296B）映像条目，按索引VM起点只有`.41`/`.37`候选subcache。**尚未读取这两个映像的实现代码，未核实际subcache文件映射，也不证明运行中的networking producer使用该路径。** 从host同名服务研究推进到了本机实际手机导出的系统索引，不再靠旧版本开发镜像猜文件，但仍不能把cache条目当手机producer等价或指标通过。

独立typed reader重核两次清单共120份响应、逐row及全流SHA、全部59 path/size集合一致；两份新61 metadata均与旧sealed基线核同；新工具/固定SDK source pins稳定。索引原件SHA与下载收据核同，只有本地保管意义，不能当Apple签名认证。软件7清单＋5单文件＋4索引控制共16项通过E2，不重测历史指标。反控包括恶意count/路径/size、重复、超时不重试、关闭失败、枚举重排用新index、漂移拒绝零数据请求、短读/超额保留partial及表越界/平台/双表不一致。

### 实际资源与分离决定

| 步骤 | 外层秒 / 退出峰B | 结论 |
| --- | --- | --- |
| 清单/单文件/索引软件控制 | 0.166370 / 30916608；0.102814 / 28786688；0.051469 / 16646144 | 7/5/4项通过，非手机或指标验收 |
| 新busy拒绝a01 | 5.205999 / 94076928 | 请求0、信号0、关闭无错 |
| 新normal-stop-a04 | 6.256000 / 96174080 | 同生命正常退出1信号，不重发 |
| 新清单a02全前后资格 | 6.960839 / 93814784 | 内部6.343108秒、59清单、metadata核同 |
| 定向系统索引全前后资格 | 6.912312 / 99844096 | 仅491520B，原128MiB门内 |
| 离线分离复核 | 0.055674 / 25346048 | 内部0.015654秒，120响应及3333/54全核同 |

数据步骤只取小索引，流式O(metadata＋491520B)，实际新证据远低4MiB目标；产品及Lab无开发，不生成新包。CPU/I/O细项见私有wait4收据，I/O瞬时峰unknown；没有旧等价工具不虚构加速对照。方案由分开资格/清单进程改为同lease前后核对，并将整进程192MiB上界收严为128MiB，未放宽资源/数值门。批末空间≥124067266560B，满足10GiB及两倍预算、删除0。初次host activity查询误用不含psutil的系统Python，只读失败后改用固定ARM venv；未改变依赖或据失败启动手机动作。

**结论：E3手机符号清单/索引保管与E2全量独立复核成立；整机参考Gate R仍未通过、发送率正式0/5、整体30/66。** H1反证、旧24对象与全部未知保持。下一只能先按实际索引制定有限subcache获取/静态映射合同，核手机实际producer及packet/bytes/查询语义，再回到全部scope/同层/方向/时钟/端到端完整性；不全量下载4GB、不进193/诊断/正式/接收。[机读分离复核](https://github.com/rskdwypy-pixel/perfowl/blob/main/internal/handoff/network-symbol-index-review-2026-10-19.json)。最终提交/双推/同提交构建与通知按私有network-symbol-index-delivery-a01.json，交付欠项partial。