Sysmontap同场研究方案

2026-10-20 · partial · E3来源/E2复算/E1公共机制；30/66、发送0/5，Gate R未关

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

类型沿用本页 `devlog`。Owner授权同一AI分时完成方案、实现、测试和分离复核，无子代理。基线67ccb009；30/66、发送正式0/5、Gate R保持开放。此前客户端静态追踪不足以建立服务端定义，下一仅一次新的研究配对，不作正式轮或产品诊断。

**独占范围与准入**：新namespace `network-sysmon-controlled-a01`、新手机run前缀 `network-send-20261020-sysmon-research-a01`。先新连接实际枚举：Lab18身份/版本、61活动记录的122件summary/manifest与上一保管基线逐件SHA核同、全部封口/released、无pending、Lab及产品idle、phone free≥512MiB。读前后集合与metadata核同，产生仅本次一个研究槽的真实容量收据，180秒内执行器再次完整复核。run不存在且实际容量61→最多62；不归位、不安装、不删除、不把旧保全视作新的五轮容量。host≥10GiB且≥预算两倍，新增预算128MiB。

**采集**：复用已验Lab18，仅一次1MiB上传、并发1、服务限速256KiB/s、stage6秒，baseline/recovery各3秒，原生参考20Hz。临时host服务75秒寿命，全部任务正文hash与journal核对。Sysmontap配置保持已读四字段与必需pid，独占stream DVT，与控制连接分离；先启动18秒原队列保管，再2秒lead后launch一次，kill_existing=False。保留所有data/plist、ack/错误/stop与关闭尾部，不使用跳过解码错误的receive_plist。stop和独占DVT close各最多一次，继续用已有18+10+3秒生命周期；未知结果保留，不重发。新run五核心文件、全部有界附件、唯一typed export均先下载核SHA再解释。封口/全部工作释放与同生命两次核对后，fsync一次SIGTERM意图，最多一个正常退出信号；未知/换生命停止。事后完整核原61 metadata、新62集合、pending和产品/Lab idle；失败原件保留。

**事前冻结的可反证假设**：Hclock仅假定Sysmontap EndMachAbsTime与Lab mach_absolute_time为同单位同域整数ticks；不以host收件时间代源时间，不寻找最优offset/比例。每相邻System计数对，以两个End为端点，原System顺序必须匹配配置；Start/End及单调性逐件检查。64位System绝对累计绝不与32位逐接口绝对累计相加比较。原生每接口仅在拓扑/index/name/两type/flags/MTU/timebase稳定、整个端点包围窗所有相邻计数无下降时可差分；下降/换配置/缺快照均missing，不作模回绕修正。

对每端点T取最后 `snapshot.endTicks≤T` 的L及最先 `snapshot.beginTicks≥T` 的U；没有两侧快照即missing。对A<B及单接口单字段，候选差分包络为 `[max(0,C(L_B)-C(U_A)), C(U_B)-C(L_A)]`，出现负上界/时序矛盾即missing。只检验两项预定scope假设：Hsum-all为所有接口差分包络之和；Hsum-nonloop为固定IFF_LOOPBACK(0x8)之外接口差分包络之和。两者均为研究假设，`crossInterfaceSumAllowed=false`生产合同不变，不按观察结果拟合子集。发送bytes/packets逐对报告原System delta与每接口包络及两假设包含/反例/缺失；接收原值保管但不验收。精确整数包络、不额外容差、不剔除ACK或重复、不外推物理层。全部吻合最多说明未反证，不能证明全scope/时钟校准/服务端定义，也不能关闭Gate R。

**资源与复核**：关键路径单流O(原始bytes+122metadata)，离线O(S×I+R)，S≤32、参考≤400、接口≤64；单call8秒/close3秒，整体100秒、外层110秒/192MiB，预计25–40秒；本地工具控制≤10秒/128MiB。新source freeze与执行前后SHA、首保管/全量耗时、CPU/RSS/I/O与峰队列记录，沿用已验Lab18完整成本门且报告本次实际mean/P95/max/gap。先控制边界/重置/拓扑/缺包围/反例与queue-once，再真机一次，后另一路plistlib UID解码与直接整数算术复核，不复用主比较器。失败不补跑或拼接旧样本。依据实际反例决定后续源时钟/producer合同，不自动进入build193、正式五轮或接收验收。


#### 新配对首次准入被拒与正常退出合同 · 2026-10-20

`network-sysmon-capacity-a01`实际61封口/released、122metadata保管，但自有Lab有进程，按idle前置拒绝；5.630557秒/102891520B，请求Sysmontap/launch/signal/新run/容量收据均0。不认定重新出现的原因。Owner既有正常退出授权持续有效：独占`phone-owned-normal-stop-a09`完整重核a01当前同生命、122metadata与最新libsysmon封存基线一致、Lab18身份/版本、无pending/产品idle，首尾两次同生命后fsync意图，最多一次SIGTERM、3秒有界正常退出观察，不强杀/重发/launch。退出后重核61集合/122metadata/idle与关闭。90/105秒/192MiB，预算4MiB。成功后仅新`network-sysmon-capacity-a02`重核原61完整合同并创建一次研究容量；再次busy则停止本批手机动作，不自动再signal。a01失败保持不改判。


#### 配对收据失败及只读补审合同 · 2026-10-20

a09一次正常退出/122件metadata前后核同，a02 fresh容量成立后a01仅一次研究上传；已有39个Sysmontap对象/完整停止关闭尾部、封口run文件和122件post metadata，但最终result未写成：新增download收据的AFC stat含datetime，json.dumps抛TypeError。guard exit1/28.841194秒/109445120B，失败保持，不能从目录齐全推测所有内存门禁或关闭结果。executor-sources中的实际旧源码保持不改。

仅修host收据显式datetime编码、call append日志与分阶段checkpoint，补软件日期/未知类型控制，不重新launch或signal本配对。新独占`network-sysmon-postflight-a01`只读重新核62活动（原61＋唯一研究run）、旧122metadata与基线及新run两metadata一致、全部封口/released/no pending、Lab/产品idle；读取这一个run实际所有有界文件和唯一typed export至新namespace，与首次副本SHA逐件核同，保管源stat与SHA。新补审只证明当前源与首次原件核同，不伪造丢失的执行result/call记录、历史关闭成功或执行通过。90/105秒/192MiB、预算16MiB、单call8秒/close3秒。任一busy/变更/缺失即停止，不重发手机动作。

离线比较器可以对原raw和经独立补审核同的同一run研究数据检验已冻结假设，输入状态明确为执行最终收据失败，不能把后验补审拼成一次通过的执行。若原始所需字段或时窗不足，报告missing；不重传、不调阈值。Gate R、30/66、正式0/5不变。


#### 原生字节粒度来源的有限公共源码核验 · 2026-10-20

独立复核17对/10可评估区间重现8个bytes反例、packet反例0；241快照的14942字节观察中5784个非零均为1024倍数。这仅观察，不能宣称唯一原因。下一仅固定此前XNU commit `1031c584a5e37aff177559b9f69dbd3c8c3fd30a` 的 `bsd/net/rtsock.c` 与 `bsd/net/if.c` 两源（各≤512KiB、总≤1MiB、单请求15秒/整体35秒/128MiB），保留原bytes/SHA/URL，不下载整个仓库。静态检查iflist/iflist2对非platform调用者的ALIGN_BYTES、1024参数、uint32 cast与if_data转换；来源E1，不证明当前手机内核等价或实际调用绑定，不更改本轮包络、不把1024作为拟合容差。若存在量化机制，先将独立来源与不确定性入知识，另立源推导的计数不确定区间合同及新留出检验；本轮旧反例永久保持失败。


### Implementation / Validation Update · 2026-10-20 · 同场研究结果

一次新研究上传及39原对象/18System/241原生快照保留；执行最终收据datetime失败未改判，新只读8文件源SHA/62集合及旧122metadata补审核同。17对独立复算、10对可评估的all/nonloop各8字节反例，packet反例0；5784非零原生bytes均为1024倍数，固定公开XNU两非platform对齐分支仅E1机制候选。13软件控制通过，不替代指标。下一量化来源和源时钟合同；30/66、正式0/5、Gate R未关。详见[本次结果增量](/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19)。