外观
原件内追踪wire kind,不追加手机采集
文档类型devlog,基线5dec153e。同一AI方案、实施和分离核读,无子代理。承接来源准入结果。30/66、发送0/5、Gate R未关,手机调用0。
固定已保管DVTInstrumentsFoundation原TEXT/__text、177962条原编码、183类/2193方法关联、selector/stub及原导出;已有NStat源只作外部名字/候选对照。本批不取新文件、不运行/attach/加载手机代码、不改产品。
范围为原DTNetworkingService的startMonitoring/initWithChannel及XRNetworkingServiceObservationTuple两初始化器、kind访问器,另外其相邻C回调静态代码区间8839302720..8839308516(十进制原VM,公开归档仅写方法名)。当前“到下一已知IMP”不是完整函数边界证明,不自动把全部区间归为析构函数。只沿这段里直接调用/ADR(P) block目标,最多32根/8192指令/512个关联;目标不在已有映射或界外即unknown,后续若需要扩范围先追加合同。
主读法逐原word核已有解码,输出限定切片及真实selector/外部目标对应,追踪kind在构造/发件路径中的常量或参数来源;同时检查provider是否在同条输出被区分。分离读法不调用主提取器,从原bytes自行计算ARM64 branch/ADR目标及关键立即数/参数move、重新核class/selector关联原件和全部选中编码。两种读法核同仅E2格式/路径证据,静态解释仍E1,不能证明运行绑定或缺席于所有路径。
若kind仅编码TCP/UDP而无法区分kernel/userland,不将kind作为字节层选择器,也不据其删包/拟合字段。若原wire不含provider且provider层不统一,先形成口径/可信参考决策,不继续无判别力采集。不得自动改scope、公式、容差或宣布不可实现;后续产品变化需单独文档先行。
离线O(已有源流式SHA+177962行扫描+选中指令),原数据片约数百MiB只分块hash/按映射小读;内存≤96MiB/10秒,新增≤16MiB,单进程无并发手机任务。host空间≥10GiB/两倍新增预算,失败与原件全部保留、删除0。记录耗时CPU/RSS,I/O峰unknown,无产品提速结论。
结果、分离收据及未证项落devlog/Canonical知识/版本、handoff/机读及C2–C5联动;新HTML快照、站点构建/链接和窄提交双远程(GitLab一次)另核,网站通知债partial。Gate R不关闭前不进193、正式五轮、接收或其他指标。
Scope Clarification · 2026-10-20
区分外层消息kind(Interface/Detection/Update)和ConnectionDetection第八项kind;前者不能替代后者。本批额外限定已有NetworkStatistics原件中NWSTCPSnapshot/NWSUDPSnapshot的traditionalDictionary、countsIncludeHeaderOverhead四个既有根,只核Provider键如何生成及是否丢失数值provider。总32根/8192指令/512关联和原资源门不变;不扩到其他映像或手机调用。
Bounded Scope Update · 2026-10-20
首主审a01在全部原切片的call关联数超过512时拒绝,没有结果收据、没有手机动作,原脚本保留。新a02收窄到两个tuple构造器、两个kind访问器、原相邻C区间中检测与发件部分(至原VM 8839306372之前)和四个snapshot根;不加入startMonitoring/initWithChannel,也不扩上限。该范围足以核本次特定字段构造,不证明整个producer所有路径。旧“析构”根仅是来源切片标签,不作为C回调函数名称。