2026-10-20 · E3/E2研究 · 30/66 · 发送0/5 · Gate R未关
类型devlog增量；基线cd202d27，30/66、发送0/5、Gate R未关。上轮是实际进展：8字节反例及1024粒度改变下一步方向；原执行收据失败不回改，后验补审不代替历史成功。本轮先冻结来源推导模型和有限时钟证据，再决定新留出，不重复旧上传。 1. 仅公共固定XNU commit的`bsd/sys/param.h`、`bsd/sys/systm.h`两候选头（各≤256KiB、合计≤512KiB、单请求15秒/整体35秒/128MiB），系统curl正常TLS保管原字节/URL/SHA，找P2ALIGN确切定义；不取全仓库。若两头无定义，明确缺失，另定来源范围，不猜宏。复用已核rtsock/if.c原件，证明1024对齐及uint32转换的具体表达式。公开来源仅E1，当前手机内核与运行绑定仍未证。 2. 冻结条件模型Hq：仅在该公开机制适用、同高32位/无跨越完整回绕且计数同层时，q为原生字节读数，则真实累计低32位∈[q,q+1023]。每接口同时间包围候选差分为[max(0,q(L_B)−q(U_A)−1023), q(U_B)−q(L_A)+1023]；packet包络不变。仅原始q均1024对齐、全span拓扑/flags/MTU/type/timebase稳定、无任一计数下降才计算，否则missing。原始精确模型及8反例不改；Hq不输出整机真值或生产rate，不取消crossInterfaceSumAllowed=false，不从样本拟合1024或接口子集。既有样本只能作模型诊断，下一独立新前缀留出才可检验泛化；吻合仍不证明无完整回绕、全scope或时钟。 3. 零手机调用的有界clock静态切片仅DTDeviceInfoService.machTimeInfo、DTSysmonTapLocalDelegate.start（含至下一已知IMP的匿名块）和system handler。复用原1MiB TEXT/177962编码及原metadata、class/selector/stub/exports，≤4096指令/根、总≤8192；核原编码与范围，保留unknown/未取优化目标。不把下一IMP当已证函数末尾，不从导入名推调用绑定；预计<2秒、每工具10秒/128MiB、输出≤8MiB、O(既有源SHA+流式编码)。如参数来源仍未证，再按实际结果冻结一次无新run的原生machTimeInfo/Sysmontap配对；不自动下载新手机缓存。 4. 软件验证覆盖32位边缘、全部1024余数与端点孔径、负差分/重置/配置漂移、未知类型及整数大值；新增模型与精确模型分开版本。效率以实际241快照/31接口/18System规模及400×64×32上界，记录原精确与Hq的耗时/CPU/RSS/首结果/输出量，不重复已验host180秒或历史指标。任何真机动作另先新鲜实际62集合/124metadata/idle/no pending/身份版本及空间准入，旧62不作新容量。当前不进193/产品诊断/正式/接收。 #### 宏定义缺失后的include链边界 · 2026-10-20 首两候选头param.h/systm.h分别10144/11273B均无P2ALIGN定义，负结果保留。只沿systm.h实际include的`libkern/libkern.h`及rtsock.c实际include的`bsd/sys/mcache.h`再取两固定源（各≤128KiB、单请求15秒/整体35秒/128MiB）；不遍历全仓库。如果仍缺宏定义，Hq保留条件假设，不称公共表达式已完整证明。已取三clock slice为1281条、33selector/6外部stub；返回六字段的装箱路径可见，外部调用名尚未证，不据此认定首字段是当前绝对时钟而非同步快照。 #### 无新run的时钟结构探测合同 · 2026-10-20 mcache.h原宏及1281原编码已第二读法核同E2；公开宏是清低10位，仍仅E1适用候选。Hq软件14控制及1048576端点余数组合通过；首反控fixture注入receive非零后回零导致reset而非alignment，失败保留，修为单调fixture后通过。原17对的Hq诊断为7 missing、10包含，原精确8反例不变，非留出、非Gate R通过。外部时钟符号/回调寄存器来源仍缺，不再以静态签名猜名字。 下一仅exclusive `network-clock-probe-a01`：复用当前Lab18/Mac192，无新run/容量、无signal/launch/安装/归位/删除、无pcapd/RVI。执行前新鲜实际62集合/124件metadata逐SHA与postflight-a01核同、全部封口/released/no pending、Lab及产品idle、身份/版本/SDK/pins与host空间≥10GiB且≥128MiB预算两倍；busy或漂移即停止，不自动退出/重试。无需五轮容量，旧capacity不可当本次准入。 专用Sysmontap DVT请求原四字段/必需pid，12秒全对象保管，stop≤8秒/quiet≤1秒/尾≤10秒，源DVT close一次≤3秒/本地terminal。另一个控制DVT仅调用实际SDK `mach_time_info()`：开始前一次、窗口中最多5次（间隔约2秒）、结束后一次，总≤7；每次≤8秒。保存SDK解码后原类型typed reply及host monotonic调用包围，不称原wire bytes、不按SDK dict注解强制转换。任何接口失败不重发、不换selector；已开始的stream仍按原生命周期收尾并保留失败。调用日志append+fsync、分阶段checkpoint及原子最终result先行，不能再因最终序列化失败丢全部call事实。 离线先核实际list/dict/字段类型、非负整数范围与两整数timebase候选；对第0及第3字段仅报告观察和各自按字段1/2换算的相邻增量、host调用包围区间，不拟合offset/scale，不先命名为absolute/continuous。报告System End是否位于开始/结束第0或第3字段之间、间隔/比例是否矛盾；即使兼容仍不证明精确同域、累计层或全scope，不闭Gate R。前后再核全部124metadata/62集合/idle/no pending/pins/全部close。整体90秒/外105秒192MiB，预计20–30秒；单并发O(原件bytes+metadata)，输出≤64MiB/每条1MiB/20000条/4096尾对象，手机原文件下载0。随后独立typed及plistlib读法核全部reply/对象/时间算术；失败不补采。下一是否新留出由真实结果决定，不进193/产品诊断/正式/接收。 #### 时钟首准入busy后的单次正常退出决策 · 2026-10-20 a01实际62条封口/released及124metadata保管，无pending，但自有Lab有进程，5.411387秒/99368960B/exit1，config/start/clock/signal/新run均0；全部资源close成功，失败原件保留，不猜再次出现原因。该批手机探测已停止。Owner既有正常退出授权仍有效，现另立`phone-owned-normal-stop-a10`，完整重核a01同生命、62集合/124metadata逐SHA与最新postflight基线一致、Lab18身份版本、无pending/产品idle；首尾两次同生命且全封口后fsync意图，最多一次SIGTERM、3秒有限观察，无强杀/重发/launch。后核124件SHA、集合/idle/no pending及close。90/105秒192MiB、预算4MiB。成功后仅新`network-clock-probe-a02`重新执行上述完整准入与原12秒/≤7reply合同；再次busy停止该批，不循环signal或probe。两namespace不拼接，a01不改判，无新容量或研究上传。 #### 独立量化留出研究合同 · 2026-10-20 a10一次正常退出/124metadata核同；新a02七个实际6项list/27流对象（停止后4）、12个System及前后124metadata/idle全部分离核同。第0/3字段各6个相邻换算增量均在host调用时长包围内，但System End仅12/12位于第0字段前后回复范围，第3字段0/12；两字段差恒定，不拟合平移或把第3字段套用。该E3观察支持原同tick假设继续试验，未证明原函数名或精确校准。 仅新`network-sysmon-quantized-holdout-a01`及新run前缀`network-send-20261020-sysmon-holdout-a01`，冻结Hq版本conditional-floor1024/1与旧精确模型两路；同高32位/公开机制适用/同层三前提明确是待验证的研究声明，不能用包含结果反推前提为真。先`network-sysmon-capacity-a03`新连接核实际62集合/124metadata、全封口/released/no pending/身份Lab18/OS/SDK/pins/产品及Lab idle、phone≥512MiB/host≥10GiB且预算128MiB两倍，新名不存在；仅一个研究槽62→63，非正式五轮容量。执行器180秒内再次核同。busy不自动退出/重试，失败保全。 修复后的研究执行器首次新手机运行，原61/62硬编码改为从新真实capacity读取起始整数1..63、metadata长度相符及终值恰为起始+1；拒绝bool/无槽/不匹配，不放宽64上限、不使用旧容量。call append增加fsync，其余一请求1MiB/并发1/256KiB每秒/stage6秒/前后各3秒/原生20Hz及18秒Sysmontap合同不变。一次新launch、完整封口/释放/两次同生命后fsync意图，最多一个SIGTERM，全部7源文件与唯一typed export、全部前后旧124metadata原bytes保管。stop/独占close各一次，完整尾部保管，真实执行result须原子写成且所有close/sourceStable通过，不能补造首次失败结果。 先以5个收据/容量控制及既有3个queue反控核同，后执行一次；整体100秒/外110秒192MiB、单call8秒/close3秒、服务75秒，预计25–40秒，O(bytes+metadata)。分析同时保存两模型17对（实际数量以新原件为准），不拟合/删值/加容差；缺原生包围或重置仍missing。新留出条件字节反例任何一个都阻止模型资格；零反例只支持有限样本兼容，不解除scope、层/实际机制/精确时钟门。原精确8反例、旧24尾对象缺口及收据失败永久保留。离线主模型实际/上界基准为O(P×R×I)（每区间重复完整验证），与旧精确实现同阶；已测17×241×31为0.246→0.261秒，32×400×64为1.426→1.490秒，非产品路径且低于10秒/128MiB门，累计高水位不当作独立内存增量。不进193/产品诊断/正式/接收。 ### Implementation / Validation Update · 2026-10-20 · 量化/时钟与留出未启动 Hq研究模块、14个精确/量化控制及1048576余数组合、5个收据/容量控制通过E2；原17对诊断7missing/10条件包含，8旧精确反例不变。1281原编码及mcache宏第二读取核同。首probe idle拒绝后一次授权正常退出，新a02实际7×6项list/27对象/12System及完整尾部复核；仅第0字段12/12包围源End，非精确校准。新留出capacity-a03再被真实新进程拦下，未生成容量、上传/新run0，停止本批手机动作，不循环signal。下一有限只读生命期观察及新的idle/capacity/留出合同；30/66、发送0/5、Gate R未关。[完整结果](/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19)。 #### 新生命的有限只读观察合同 · 2026-10-20 9051696f已推GitHub核同，GitLab一次失败；同提交站点18.619601秒/聚合1354694656B通过，579页/755本地目标/720锚点无缺，网站/Webhook欠项继续partial。前批已结束，无新留出上传。本批仅`network-owned-life-observe-a01`，复用capacity-a03身份/版本/SDK/产品idle/空间/原件pins准入；新连接完整核62集合/124metadata与a03及clock-a02相等、全封口/released/no pending，**允许被观察的自有Lab有进程**，不将其叫空闲或容量资格。最初查life、metadata后查life、再等3秒后查life及结束前life，全部直接保管；无signal/launch/安装/采样/新run/容量/归位/删除。 只有process_key完整identity/executable/birth成立才记录生命；与a03比较同/异生命，原始life仅私有。不推断启动者，不以稳定PID推断CPU空闲，不因旧run封口认定新进程没有工作。后核全部124metadata SHA/集合/no pending/产品idle，记录当前life是否稳定、出现/退出/变化，变化不归因。整体90/外105秒128MiB，单call8秒/close3秒，预计10–15秒、预算4MiB、O(metadata)，不全盘扫描。若观察支持当前生命稳定且所有记录保持封口，另定一次同生命退出及紧邻准入合同；本合同本身不发信号，不自动重试被拒的留出，不进193/正式/接收。 #### 稳定新生命与紧邻独立留出决策 · 2026-10-20 观察脚本首次准备assert失败、文件未生成；外层a01因此exit2/0.026432秒/10354688B，手机调用0，原错误保留。修正精确字符串替换后，同一观察合同实际namespace改为a02（仅host脚本/namespace偏差，不扩大手机动作），10.850704秒/96698368B通过；四个完整生命观测一致，但与a03拒绝时生命不同。全部62集合/124metadata前后SHA相同、无pending、产品idle、close无错，signal/launch/采样0；不能确认启动者或说明CPU空闲。 现独立下一合同：`phone-owned-normal-stop-a11`以a02为最新生命与124metadata基线，完整身份/版本/SDK/全封口/released/no pending/产品idle/空间/pins及首尾两次同生命后fsync意图，只允许一个SIGTERM；3秒有限观察/独立idle及全部124metadata/集合/close后核，失败不重发。成功后同一个host串行调度器紧邻执行新`network-sysmon-capacity-a04`，再次完整62/124与idle/phone≥512MiB准入；只有真实capacity在180秒内成立且scope为一个研究槽，才执行`network-sysmon-quantized-holdout-a02`，新run为`network-send-20261020-sysmon-holdout-a02`，62→63。 三步骤是一次有界尝试，不是循环；任何一步失败停止后续，不新增退出/准入/上传重试。调度器本身无手机API，子进程顺序完成，分别105秒192MiB/105秒192MiB/110秒192MiB，通常总<60秒；退出步骤预算4MiB，其余128MiB，执行器及完整采集/尾部/保全/分离反证门全部沿上文独立留出合同。冻结9051696f中的Hq/精确模型和当前执行器源码；新实验不能修改模型、时钟平移、接口集合或阈值。成功的上传执行和条件区间包含仍不等于Gate R或正式验收，原失败全部保留，30/66、正式0/5不变。 #### 容量schema字段缺失后的host修复决策 · 2026-10-20 a11一次SIGTERM后全部124metadata/idle/close成立，9.643408秒/99418112B；新a04完整只读62集合与124metadata前后核同及idle成功，7.363222秒/99926016B。但由旧a03派生的host收据漏了`actualActiveRuns`，仅写`activeRunCount`；调度器在读取必填字段时KeyError并已停止，上传执行器未调用、holdout-a02目录不存在。不把该schema不完整收据作为正式可消费容量，也不回写旧result。 仅host修复：新`network-sysmon-capacity-a05`在同样新鲜全量准入成功后，显式写入actualActiveRuns=len(names)、allActiveSealedAndReleased、startupPending和实际names摘要；落盘前使用已测research_start_count校验真实count/metadata长度。所有值来自本次实际读取，不继承旧固定数字。先以离线反控核缺字段拒绝、实际62/metadata接受、64无槽拒绝，再一次新只读完整准入；**不新增signal/launch**，busy即停。成功才紧邻执行尚未开始的holdout-a02，源收据≤180秒、其余原合同不变。新a05是对已定位host字段bug的单次修复验证，不循环退出或调采集参数，旧a04和调度器失败永久保留。 ### Implementation / Validation Update · 2026-10-20 · 独立留出结果 新生命观察/一次退出/新容量后，host容量schema字段缺失导致调度器停于上传前，原件保留。新a05重新实际62/124完整准入并验证schema，新holdout-a02仅一次上传62→63；原子result/全部close成功，39对象/18System/241参考完整保管。17对中6missing、11可评估的两scope Hq bytes/packet均包含、精确bytes仍6反例，独立原件/整数/全部248前后metadata与8源文件核同。旧8反例/失败result/24缺失tail不变。下一能区分all/nonloop的有限loopback/对照设计，Gate R未关，不进193/正式/接收；30/66、发送0/5。[完整结果](/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19)。