外观
2026-10-28 · 第二轮对照试用增量
报告继续区分process/device;速率展示KiB/s=bytes-per-second/1024,不是累计流量。缺口不外推累计量,整机值可能含其他进程与采集通信;本次较高发送均值仍待原始字段/窗口与第二轮对照调查,不假定属于目标业务,不乘经验校正系数。每个序列导出有效点数、首末有效端点(跨度不是完整覆盖率)、scope、单位及质量。
正式55/66、11项暂停不变。本批软件/主机证据不是新增真机验收。第二轮方案与实现。
Owner最新决定 · 2026-10-21:发送率与接收率两项不再等待Owner复核,现计入正式验收通过。正式32/66、剩余34;其中2项标记无独立参考精度校准,待Owner复核0。下一GPU Renderer,正式0/5,已有Apple同名参考的窗口资格仍须核清。 决定与范围。以下日期段为历史,不覆盖本决定。
2026-10-21:ARM195接收率新完整5/5及最终独立总审通过,600/600有效、600/600完整槽、600正值,当前方向异常及来源违规0;对侧异常1及全部1尾片保留。NO_REFERENCE_OWNER_REVIEW,待Owner独立验收;正式30/66、无参考标记2、测试完成32/66,另34项待测试。下一指标GPU Renderer,先本项交付闭环。 完整结果。以下较早日期数字与阶段为历史。
2026-10-20:接收v9专属准入/双数学/终态收据审核已实现,18软件控制及34真实已保管来源合同反控通过E2,35MB规模双读约0.34秒。手机动作0、新容量/诊断/正式0;当前安装195,旧接收attempt-01永久0/5。正式30/66、发送标记1、测试完成31/66保持。下一冻结新合同/driver,真实新容量及一次140秒诊断,不重放旧工具。 方案与实施。以下为历史。
2026-10-20:产品方向隔离v9已实现,2768全量/120最终聚焦、80记录序列分离数学、实际44Core导出通过E2;120万输入全链耗时中位1.1353倍达门。内部ARM195签名/独立解包/保留194回滚与单址空闲安装通过E3主机,新手机诊断和正式轮仍0。正式30/66、发送标记1、测试完成31/66不变。下一新v9接收专属合同/容量/诊断及全新五轮,旧attempt-01永久0/5不补。 方案与实际记录。以下为历史。
2026-10-20:接收新140秒/91MiB诊断及独立审核通过,真实58容量、六任务、120/120有效正值、159Core样本和1974Raw/全原件/SQLite/导出核同,异常及来源违规0,保留1尾片;仅diagnosticReady,接收正式0/5。六准备全源保留64→58已核,末实际59/新封口生命,下一新鲜五槽。正式30/66、发送标记1、测试完成31/66不变。 结果 · 新五轮方案。以下为历史。
2026-10-20:接收专属140秒诊断/只读容量/完整四行为末生命复核及六准备封装已实现,16软件和20真实已保管合同篡改控制通过E2;手机动作0、新容量无、接收诊断/正式0。下一冻结提交后六准备全源保留归位,再真实容量及诊断。正式30/66、发送标记1、测试完成31/66不变。 方案与实施。以下为历史。
2026-10-20:接收Lab22已完成真实64→60四准备保全、60四槽容量及正常/OFF/取消/恢复四行为,29件/4667761B与全导出、十阶段旧metadata、原DI/journal分离核同,仅E3准备资格;4完整任务/1取消任务,接收诊断/正式轮仍0。正式30/66、发送无参考待Owner验收1项、测试完成31/66不变。下一接收专属诊断合同与新鲜容量,再完整五轮。 实际记录。以下为历史。
2026-10-20:当前接收率Lab22专属四行为/只读容量/分离审核软件门通过,20项软件及17项已保管真实合同篡改控制E2,手机动作0、新四工具/诊断/正式轮均0。下一先具体旧准备全源保全名单及新鲜真实四槽容量,不以host控制子集代替手机枚举。正式已验30/66、发送无参考测试通过1、测试完成31/66不变。 方案与软件记录。下方为历史。
2026-10-20:发送率内部194新完整五轮及独立总审通过,600有效/600完整槽、595正值、最大gap1秒,来源违规/异常0,五轮共30任务455MiB及全原件/SQLite/Core/导出核同。标记NO_REFERENCE_OWNER_REVIEW,待Owner独立验收;无独立整机同层同窗精确参考,不宣称准确度校准。正式已验收30/66,新增无参考测试通过1,测试已完成31/66、另35项待测试。下一接收率专属合同/新诊断/新五轮;旧失败与原件保留,GitLab/网站/通知债partial、公证暂缓。 五轮结果。以下较早状态为历史。
2026-10-20 最新:内部194新诊断通过,120/120有效/正值、153实际sample、拒绝输入0,32件Session/1833Raw/SQLite/Core与实际导出全核同;仅诊断,30/66、新标记0。 下一三条历史准备全源保留归位恢复实际五槽,再新attempt-04完整五轮;旧attempt-03永久1/5不拼。诊断结果 · 新五轮方案。以下为历史。
2026-10-20 最新终态:发送attempt-03第二轮触发预览软件错误,永久1/5,后3轮未启动。拒绝原字段发送字节为None,不能当0。已保全失败Session24件/24220662B并独立核Raw/SQLite;52控制与旧/新Raw重放通过,内部ARM194单址安装E3完成,新手机诊断尚0。历史30/66、新标记0。 下一先194诊断准入/真实手机状态,再新完整五轮,不拼旧轮。修复与结果。以下为历史状态。
2026-10-20 最新:v8诊断已达门,五条旧准备源/导出全SHA保留rename通过,实际64→59、删除0;新attempt-03准备中,新正式0轮、30/66、新标记0。 下一提交冻结新工具/HEAD、真实本轮容量、新完整五轮;旧3/5不拼。记录。以下状态按日期保留。
2026-10-20 最新:内部193/v8新诊断通过,发送120/120有效、六任务91MiB、拒绝输入0,150实际样本与全原件/SQLite/Core导出分离核同。只诊断通过,历史30/66、新标记0、新正式0轮;实际64活动,下一先保全五条准备记录及真实五槽,再新独占完整五轮。 合同与结果。以下早期状态保留。
2026-10-20 最新:v8来源异常修复已E2验证并安装内部ARM193(E3主机),新诊断/五轮0;历史30/66、新无参考测试通过0。 2754项完整控制通过(最终原eventClass小修前)、最终92项聚焦及实际44Core导出通过;旧attempt-02仍3/5永久停止。下一v8新诊断合同及真实手机状态/容量,不提前进入接收验收。 实现结果。下方早期状态按日期保留。
2026-10-20 最新:发送attempt-02已首失败停止。前三轮通过,第4轮来源窗malformedInputCount=1却输出candidate,分离拒绝;整项3/5、第五轮未启动。历史30/66、新无参考测试通过0;先修复异常保管与窗口缺失传播,接收未验。 失败结果 · 修复方案。下方较早日期段保留为历史。
2026-10-20 生命周期方案已实现:72软件控制、11回环及旧真实诊断分离兼容通过;恰1诊断14源件/64.57MB保留rename,真实60→59,0退出/删除/新run。下一冻结attempt-02、真实容量与新完整五轮;当前新0轮、历史30/66、新标记0,旧1/5封存。记录。
2026-10-20 最新发送测试:首轮1/5,第2轮容量发现新生命、采集前首失败停。120metadata核同,系统日志与预热一致但非独占归因。30/66、新标记0;先验证生命周期准入,再另立完整五轮。结果。
2026-10-20 新真机诊断通过:Lab22已一次覆盖,2869件/3962871731B旧源全SHA保留;新140秒/91MiB六任务、120/120有效及全消费者分离核同。只诊断通过,30/66/新标记通过0;三准备记录保留归位后实际59,下一新独占发送五轮,尚无正式容量。结果。
2026-10-20 最新诊断:发送新140秒诊断因测试台固定5秒超时失败;原件/Session与SQLite已保全核同。Lab22慢确认策略host对照通过、ARM内部签名及独立解包E2完成,尚未安装/iOS修复未验。30/66、新无参考测试通过0。下一新鲜保全与一次升级,再新诊断/五轮。结果。
2026-10-20 软件增量:44项控制与固定历史35.80MB三流分离核同E2;手机新测试0、已验收30/66/无参考新增0。Lab21上传显式准入已实现,下一真实容量及新诊断。实现结果。
2026-10-20 最新决定:参考可在测试App构造的先设计/实现用例;确认当前无可用参考且实际异常测试通过的标记 NO_REFERENCE_OWNER_REVIEW,待Owner最终独立验收并可推进。当前已验收30/66,新增无参考测试通过0,网络旧对照0/5不回改。Lab21已一次覆盖并完成2826源件/3892697597B SHA及新postflight核同;先补发送、后接收。规则 · 用例 · 安装结果。以下日期段为历史。
接收准入增量 · 2026-10-20:2826件3892697597B逐件源host SHA及128 metadata核同,但最终出现不同的自有进程生命,整体准入未通过。退出1次、安装/新run/归位0,Lab21仍未安装;30/66、发送待验0/5、接收当前0/5。 结果。
当前 · 2026-10-20:Owner已允许发送率保留待验、不计通过并按原序推进接收率。整体30/66、剩36;发送0/5待验,接收0/5为唯一当前。Lab21流式下载11情景、4引擎run、12准入/4导出控制、15文件及内部签名解包仅E2,手机未安装;Gate R_rx未关。 方案 · 结果。以下为带日期历史,旧等待/禁止接收由本决定承接。
Device Network Tx/Rx(设备整机网络收发速率)
作用域属性:[设备级 · 整机环境](Device Scope )
2026-10-19 当前验收状态:整机发送率独立参考及网络Lab准备中,正式0/5、未验收;整机接收率未开始。整体30/66。参考Gate R要求整机scope、层级、方向及时间覆盖可比;业务上传成功或逐接口计数可读不能替代该门。当前方案。
2026-10-20 决策更新:发送率独立参考仍未达Gate R,正式0/5、未验;现有同类采样暂停,等待新的独立参考或Owner明确调整逐指标顺序。整体30/66,接收率未进入验收。完整缺口见本轮决策。
1. 定义与业务价值
Device Tx/Rx 衡量设备整机(含目标 App、系统服务与其他 App)全部活跃连接的网络收发字节速率总和,用于评估测试环境是否受到系统级网络噪声(iCloud 同步、OTA 检查、其他 App 后台流量)干扰。
2. metricID / scope / unit / source
| 指标 | metricID | scope | unit | source | sourceKey | definitionVersion |
|---|---|---|---|---|---|---|
| Device Tx | ios.device.network.send_rate | device | bytes-per-second | dvt.networking | directionalInput.send.eligibleBytes(仅明确新policy;旧Raw保留v8) | network-window-rate.v9 |
| Device Rx | ios.device.network.receive_rate | device | bytes-per-second | dvt.networking | directionalInput.receive.eligibleBytes(仅明确新policy;旧Raw保留v8) | network-window-rate.v9 |
取自当前 Registry 。
3. iOS 系统原理
设备级网络统计来自系统连接事件聚合服务,按连接更新事件(ConnectionUpdateEvent)逐条累加整机全部活跃连接的收发字节,不做单进程过滤。
自 network-window-rate.v2 起,累加发生在设备上游与通用队列之间:Perfowl 侧的 DeviceNetworkBurstAccumulator 先把上游事件折叠成字节窗(历史100ms,当前v7生产1s按时关窗),再交给 Metric Engine。产品面向的 1 秒采样节奏不变,字节语义也不变——变的是每条 Raw 承载多少事件。
4. 系统服务 / 通信通道 / 采集命令与实现
通道:com.apple.instruments.server.services.networking(DTX )。采集:pymobiledevice3 原生 NetworkMonitor(provider)(MacApp/Sidecar/perfowl_collector_core/adapters.py::DeviceNetworkRawAdapter)。自 network-window-rate.v2 起,该适配器在原生 NetworkMonitor 之上再包一层 perfowl_collector_core/device_network_aggregation.py::DeviceNetworkAggregateStream(当前1s生产对齐窗、订阅内定时关闭的 DeviceNetworkBurstAccumulator),折叠发生在通用队列之前。速率累加与窗口切分实现于 MacApp/Sidecar/perfowl_collector_core/metric_engine.py::MetricEngine._accumulate_device_network / _flush_device_network / _publish_completed_network:按 (adapter_id/source_id, source_epoch, reconnect_generation) 识别数据源窗口,同一窗口内累加 tx_bytes/rx_bytes(或聚合窗的 txBytes/rxBytes),窗口切换(重连/新 epoch)时清空累计字节,不跨窗口拼接。
5. 原始字段与字段语义
ConnectionUpdateEvent.tx_bytes / .rx_bytes:单条连接更新事件携带的源字节字段,同一采样窗口内的多条事件被累加。不能仅凭字段名断言每一条都是采集开始后的增量:负源 time 的初始化事件在实测中承载了大部分初始字节。v4 保留其原始字节用于来源守恒,但不把它们解释为有时长分母的速率分子;非负 time 的字段仍按源窗口候选增量使用,物理准确度待真机独立正控。
自 network-window-rate.v2 起,引擎接受两种输入形状,且共用同一个累加点(因此混合会话既不会双计也不会漏窗):
| 输入事件类型 | eventClass | 字节字段 | 说明 |
|---|---|---|---|
network.device.raw | ConnectionUpdateEvent | tx_bytes / rx_bytes | legacy 逐事件形状,Build 73 及更早会话的回放继续支持 |
network.device.aggregate.raw | DeviceNetworkAggregate | txBytes / rxBytes | 100ms host 聚合窗,另带 inputEventCount / connectionUpdateCount / firstAdapterSequence / lastAdapterSequence / malformedInputCount 等 |
聚合行不是伪装成一条普通 ConnectionUpdateEvent:它有独立的 eventClass 与事件类型,回放可以据此区分"折叠后的字节窗"与"源端单行"。InterfaceDetectionEvent / ConnectionDetectionEvent 不参与字节求和;当前完整 payload 以最多 32 件 metadata 批交付(历史为逐件透传);被折叠的每一条事件的真实到达时间戳仍留在聚合载荷里,因此没有任何时间信息被伪造。
6. 精确公式
text
source_bytes = Σ ConnectionUpdateEvent.{tx_bytes,rx_bytes}(含初始化,Raw原始守恒账)
initial_bytes = Σ 字节 where source_time < 0
bucketStart = floor(windowStartMonotonicNs / 1e9) * 1e9
bucketEnd = bucketStart + 1e9
eligible_bytes = Σ 同一bucket的(window.{tx,rx}Bytes - initialSnapshot{Tx,Rx}Bytes)
rate = eligible_bytes / ((bucketEnd - bucketStart) / 1e9)network-window-rate.v7 继承v6的完整来源host对齐1秒报告桶、按时关闭同网格1秒生产窗;不是给100ms短窗强加最小分母。新1秒源窗/历史100ms源窗必须完整落入同一桶;带publicationPolicy=source-closure.v1的新Raw由来源完成直接发表最新未发表、watermark跨越桶尾、已闭合且新鲜的桶;未标记历史Raw仍由sysmontap触发,未闭合桶保留,不将多个旧桶的字节挤到当前1秒、不跨桶插值。每桶最多发表一次。Metric数值记录附带来源windowStartMonotonicNs/windowEndMonotonicNs,分母和分子窗口可复算;帧发表时间与该来源窗口分列。
首个观测桶warmup (订阅可能中途开始);初始化字节不入速率。来源Raw始终保留,旧Session与报告不回写。仅有显式合格零字节才可0;source守恒不等于物理带宽校准。历史Raw没有显式窗口时才按宿主fallback,质量为candidate-host-window。
7. Clock / Window / Freshness
来源聚合器读取host monotonic,不是设备原生time字段,也不是下游消费到达时差。latest completed bucket结束距adapter观察receipt>1.5 s(历史未标记Raw仍距sys刷新)为null/stale-source-window;未闭合桶不提前发表。坏边界/跨1秒桶、重复/重叠/倒退为invalid-window;不相同桶的迟到字节不混入新鲜桶。每源最多4桶,多余旧桶实时淘汰数保存在引擎checkpoint,Raw保留供复算。
实时候选缓存按来源windowEnd算年龄,超过2 s或future时null/stale-source。1.5/2 s阈值保护新鲜度,不认证物理精度。
8. Baseline / Reset / Discontinuity
adapter/epoch/reconnect/钟模式切换重置来源桶与基线。首观测桶warmup;无更新missing -source;坏边界invalid-window;迟到stale-source-window。checkpoint完整保存4桶上界、原byte sums、初始/invalid标志、first/last/published端点、淘汰计数;恢复与连续消费逐字一致。
9. Quality:valid / candidate / missing
candidate:新显式来源桶闭合、新鲜且字节有效;candidate-host-window:仅历史无显式窗的host fallback;warmup:首观测桶或仅初始化;invalid-window:坏边界/重叠/重复/倒退;stale-source-window:来源桶过期;stale-source:实时缓存过期;missing-source:该方向无来源。所有无数值质量均null/CSV空值、不写0。两个方向独立、scope=device,与process源不相减。Raw来源对账与数值校准分列。
10. 合法 0 的条件
速率可以合法为 0,前提是设备网络源在该方向的当前采样窗确实交付了非负源时间的合格零字节字段;仅有负源时间快照为 null/warmup,只有 sysmontap 分母而无设备网络字节源为 null/missing-source。此处不把源无事件推断为设备无流量。
11. 当前证据、校准与平台覆盖
Gate C 2026-10-01 三轮真实 UI 短会话均有设备网络源准备失败、该源 Raw 事件 0 条,却由旧 v2 引擎产生设备网络 candidate=0;这三轮不构成 Device Network E4。v3 是针对该缺源情形的 E2 语义修复;真实有源、非零正控、守恒与丢数证据仍待 Gate C-R1 验证,设备支持状态保持待 E4。
2026-10-03 增量:后续两轮真实 UI 短会话的源准备异常明确为聚合流缺少异步上下文入口;产品代码已补齐委托入口/退出,匹配 E2 测试覆盖预热、进入、消费、Stop drain 与退出。此处仅说明代码层阻断已修;尚无新包同场非零网络正控,设备来源 E4 与字节守恒仍待复测。旧两轮 missing-source 不回写,不用进程网络值替代整机网络。
2026-10-03 R2 增量:版本 101 后续两轮虽有来源且原始字节对账,但负源时间首批 100ms 窗分别占整轮收发字节约 94%/79%,产生不可信的 GB/s 峰值。v4 只排除这类初始化字节的速率贡献,不删除原始记录、不回写旧报告。来源守恒成立不等于物理带宽可信;v4 的真实设备数值仍待同配置独立正控 E4。
2026-10-03 R5 增量:Owner两轮峰值分子分别100%/约55.40%来自较早聚合窗,v5保护来源端点、新鲜度与错序;8 s只读源诊断不支持将正time字段当累计计数重复差分。代码/合成与新包两轮真UI验收分列,物理带宽仍candidate,参见R5合同。
12. 如何分析:能得到什么结论,不能得到什么结论
能得到:在来源状态与独立正控均成立时,可辅助判断整机网络环境是否受到后台流量干扰;当前 v7 在v6定时关窗基础上由新来源完成驱动发表/metadata-only缺值,验收按 R5 更新分层;不能只凭 E2 算法门,尚不把候选速率当作已校准物理带宽。
不能得到:
- 不能与 Process Network Tx/Rx 相减推导"其他后台消耗了多少流量"——两者是不同 source(
dvt.networkingvsdvt.debug-gauge.network-statistics)、不同窗口切分逻辑,禁止相减; - Device Rx 很高而 Process Rx 很低是常见的正常现象(提示系统级服务或其他 App 在活动),不代表被测 App 存在问题,也不能反向证明"与被测 App 完全无关"——仍建议清理后台环境复测确认。
13. 常见误区
- 用 Device 减 Process 计算"后台流量"(两者非同源,禁止相减);
- 把 Device Rx 高直接归咎于被测 App。
14. Legacy / 历史实现与 network-window-rate.v2 的等价关系
network-interval.v1:逐条 ConnectionUpdateEvent Raw 直接进入通用队列与 Metric Engine。接口与公式与 v2 完全一致,差别只在输入粒度。
network-window-rate.v2(历史):同样的事件先在 host 侧折叠成 100ms 对齐窗,窗只有 Σbytes 与首末序号/时间戳,逐事件明细仅在显式 debug 开关(PERFOWL_DEVICE_NETWORK_PER_EVENT_RAW)下追加输出,生产默认关闭。v2 的无源窗曾错误输出 candidate=0,不能据此认定合法零。
network-window-rate.v3(历史):保留 v2 的聚合输入和速率算式,但为每个方向将“本窗未观测源字段”表示为 null / missing-source。旧已封存 Session 与报告原字节不回写。
network-window-rate.v4(历史):再将 time<0 的初始化字节从速率分子排除,原始总字节对账不变;这不是对上游 time 全部语义的 E4 校准。
两者的关系是同一公式换输入粒度:
text
v1: sum(tx_bytes over 事件 in 采样窗口) / elapsed
v2: sum(window.txBytes over 聚合窗 in 采样窗口) / elapsed- 字节总量精确等价:同一批源事件的
Σtx/Σrx在 v1 与 v2 下逐字节相同(v2 的对账恒等式为inputEventCount == connectionUpdateCount + passthroughEventCount + malformedInputCount,且Σaggregate.{tx,rx}Bytes == ΣConnectionUpdateEvent.{tx,rx}_bytes)。 - 逐 1 秒窗的 rate 不是 bit-identical:v2 的聚合行携带的是窗尾 host 时间戳而非逐事件到达时刻,因此在 1 秒 flush 边界上可以差一条窗。实测(确定性 fixture,5 000 事件 @1kHz,跨 5 秒):整段字节总量相等,逐窗 rate 差 ≤ 0.16%、累计差 ≤ 0.05%,约合边界上 1–2 条源事件的字节,不是系统性丢失。要逐窗完全一致,需要让聚合窗与 1 秒采样时钟共享锚点,而这会改变产品采样语义,故未采用。
- 为什么需要 v2:v1 的逐事件形状在真机上会产生持续 kHz 级的事件洪水,任何有界队列都会丢数(Build 73 实测
droppedEventCount最大 10576)。v2 把洪水在上游折叠掉,在不扩大队列、不插值、不降采样、不延长关闭窗口的前提下使该 source 无损。
15. 发现事件批处理与控制流对照边界(2026-10-03 R4)
接口/连接发现不参与字节分子,当前 Raw 使用独立 network.device.metadata-batch.raw,每批最多 32 件,包含完整原 payload、来源 ordinal 与 host receipt 时间;此前逐件 Raw 回放仍兼容。字节聚合、初始化排除与 v4 算式没有变更。Batch 不是把发现次数当字节,也不是新增网络计量 source。
两轮 b104 真 UI 观察取得来源守恒与定长 HTTP 8 MiB 双向传输,发现事件积压和缺源段明显缩短,但还存在初期 2–5 秒时序倒退,candidate 高峰不直接当物理带宽。下载同轴 padded 设备 Rx 比 payload 多约 2.80% / 6.13%;这些差值包含边界、协议及其他设备流量,不是已校准误差范围。第二轮被动 RVI 控制 TCP 去重后为 payload + HTTP 头,上传同时有明显额外整机流量。
scope 必须先一致:HTTP body、TCP payload(含/不含重传)、IP 包字节、不同封装层/接口、整机全部连接与目标进程均不相同。Device 网络还可能观察采集/开发通道及其他系统活动;当前证据只证明其他流存在,不宣称每条流的进程归属。禁止将多个物理/虚拟接口相加成一个“物理带宽真值”,禁止从进程值扣出设备背景或用经验系数修正候选数。E4 非零来源和控制传输已观察,整机/上传物理准确度未完成,支持等级不提升。 R4 方案与完整数据。
16. 版本历史与来源批次
2026-10-19 · 受控上传工具与计数层级排查
上传成功时,HTTP正文、URLSession进度、task metrics、接口累计及DTX连接字节仍需分别对账。当前host工具E2已覆盖三种尺寸、1/2/4并发、取消/超时及坏确认;这些结果不认证手机本地网络权限或整机发送率。服务端延迟读取只能限制服务端消费,客户端和系统缓冲可先接收数据,不能把该配置写成设备wire速率上限。复现时应同时保留任务时段、原响应SHA、服务端journal与捕获包时间,避免拿配置速率代替实际值。方案与实施记录。
URLSession资源超时可能先于外层deadline返回。排查应核实际错误域/码、任务回调及session失效回调;未观察到失效时不能只因取消请求已发送就记workloadReleased=true。响应正文另作独立附件,事件只保留元数据和SHA;导出需核所有附件,核心manifest成立不等于工作量/响应文件也已核同。以上是E2生命周期与证据保管规则,当前正式仍0/5。
后续Lab17真机四行为及保管成立(E3),但参考成本均值约1.39ms、P95约1.72ms超过既定1ms。单独API均值约0.31ms,说明只测API或只用host基准会漏掉编码/追加等实际开销;需按原始Mach括区间区分API、构造、校验、编码和写入,再以新版本重新资格。当前尚未证实唯一热点,不能把“取消与恢复成功”写成参考资格通过,也不能删字段或调低频率来掩盖成本。执行器必须在每轮核成本后短路,保留未通过原件。Lab17结果。
公开XNU实现显示TCP nstat发送累计读取inp_mstat.ms_total.ts_txbytes,TCP输出在数据及重传路径按payload长度增加该统计;接口字节字段走另一条统计路径。这提供“不能把IP包长度直接等同连接字节”的研究依据,尚未证明当前手机DTX实际producer就是该公开实现。实核必须逐流确认方向、封装、重传和计时,再决定参考公式;禁止按差值拟合系数。Apple ntstat.c、tcp_output.c。
完整设备捕获也需独立处理丢包。Apple说明RVI覆盖设备网络栈,接口信息在包元数据中;tcpdump的dropped统计用于判断本机捕获丢包。即使该值为0,也不能自动证明设备到镜像通道的前置环节无丢包、隧道无重复或DTX同层。当前pcapd原件只通过E3通道及保管核对,丢包和同层Gate R仍未关闭。Apple抓包说明、抓包故障排查。
2026-10-03 显示/导出增量(不变更 v4 公式):Network 面板将整机 Send/Recv 与目标 App Send/Recv 分成四条带作用域标签的曲线;新 Session 的 CSV 在旧列后追加两组各自数值与质量列。旧 Session 回放仅在旧单对字段明确标为 device 时将其显示于整机曲线,不用 process 值补整机缺口。两轮旧真机的 v4 设备候选峰值仍缺独立物理流量对照;本批投影修复不构成带宽校准 E4。R3 实施记录。
本页由 site/knowledge/metrics/network-send-recv.md 拆分而来。
| 版本 | 日期 | 修订要点 |
|---|---|---|
| 工具与参考边界增量 | 2026-10-19 | E2上传/取消/超时、响应附件保管与计数层级排查;RVI/pcapd丢包边界。发送0/5、接收未开始,不提升支持状态。 |
| v1(本页) | 2026-09-18 | 从 network-send-recv.md 拆出,成为 Device Tx/Rx 独立 Canonical;补充精确窗口切分代码引用。 |
| v2 | 2026-09-20 | FTI-011 / Build 74(P0-A):definitionVersion 由 network-interval.v1 升至 network-window-rate.v2;新增 100ms host 聚合窗输入形状 network.device.aggregate.raw 与 legacy 形状的共存说明、字节对账恒等式,以及与 v1 的等价关系与实测偏差(§14)。 |
| v3 | 2026-10-01 | Gate C-R1 缺源修复合同:仅显式源字段可产出数值零;无源窗 missing-source,Tx/Rx 独立。E2 修复不证明 E4 支持。 |
| v4 | 2026-10-03 | 两轮复测 R2 修复方案:负源时间初始快照仍入原始字节对账,但不入速率分子;仅快照窗为 warmup,设备物理正控仍待 E4。 |
| v4 显示增量 | 2026-10-03 | R3 为整机与进程新增分作用域曲线及 CSV 列;速率算法、来源账与 E4 状态不变。 |
| v4 传输增量 | 2026-10-03 | R4 发现 metadata 批处理降低入队件数;真 UI 两轮与 RVI 控制对照留档,上传/整机物理校准仍 partial,v4 算式及支持数不变。 |
| v5 | 2026-10-03 | R5:采用来源host对齐1秒桶、附来源窗口字段,迟到/错序置空、未来桶不提前发表,实时缓存2 s过期;公式与质量门不替代物理带宽校准。 |
2026-10-03 v6 来源关窗修订(实现待E4复核)
生产host折叠网格与报告桶统一为1秒,按边界定时关闭已有非空窗口;被覆盖end与实际close时刻分列,来源迟到门1.5 s/live门2 s不放宽。Rate=Σ(有效非初始化字节)/1秒,版本network-window-rate.v6;没有ConnectionUpdate的metadata-only窗置null/missing-source,只有真实非初始化更新明确字节0才为0。不发无来源空窗、不借timeout构造来源字节,旧100ms Raw/旧报告不回写。实现、资源与新包E4结果以R7记录后续增量为准,物理精度仍candidate。
| v6 | 2026-10-03 | R7:生产1s聚合按时关闭,不等下条事件;真实关闭时刻分列、无更新不假零,65536件上限形状保护;1.5/2秒新鲜度门不变。 |
大流量同格达到65536件保护上限时,完整dict分片交付,下一片从前片end继续而不是重回网格起点;分片累计到同一1s桶,无重叠、无重复字节。实际关闭/Stop尾不越格;上限提前片不直接作为1秒数值发表。
2026-10-04 来源调度复核(R7 / R8)
b107两轮真实UI数值、封存、独立来源窗核对通过,但方向candidate为72/75(96.00%)与59/75(78.67%),第二轮未达预定90%连续性门;missing仍为空,不是0。按时关窗不等于已进入计算前缀,部分已有闭合窗晚于采样锚点进入Raw;R8正在核验最多8件来源按序前取、原durable FIFO与结果等待保持。v6公式、来源年龄1.5s/live2s、物理校准candidate均不变,新的包和真UI结果须分别核实。方案/实施与实测。
R8两轮更新 · 2026-10-04
最多8件按序前取已实现并完成E2/公证安装b108,但新两轮方向candidate50/75、54/74,原90%连续性门未通过;来源窗数值与封存核对通过不等于持续新鲜已解决。部分sys采样发生在下一真实来源窗close之前,已发表桶又不可重复发表,当前“无新桶”被呈现为missing。R9尚未实现,拟将闭合来源窗发表与产品采样分开,并对全部CSV样本核来源窗/年龄/候选率,不靠减少派生行分母达标;v6与1.5/2秒门暂保持。完整记录。
2026-10-04 · v7 来源完成发表合同(验收待更新)
新Raw明确publicationPolicy;windowObservedMonotonicNs在adapter观察、windowClosedMonotonicNs是实际关窗、windowEndMonotonicNs是覆盖末端,要求observed≥closed≥end。新Metric帧时间为observed,1.5s准入不放宽;sys无新桶时不覆盖最新来源值,live按windowEnd仍2s过期。cap/Stop部分窗不提前候选,完整桶仅一次;source静默不补零,metadata-only保持null。wire辅助deviceNetworkSourceWindows记录candidate各方向start/end,与CSV的sampleSequence联查,不把重复显示当新增字节/新增指标。未知policy/坏时序null/invalid-window;无标记历史回放仍旧调度,旧Session不回写。公式两方向v7,Registry66不变;当前E2完整回归与旧Raw兼容已通过,包/两轮CSV与来源数值E4待R9记录。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| v7 | 2026-10-04 | R9:明确标记的新Raw来源完成驱动发表;covered/closed/observed分列,wire辅助窗口与CSV联查;年龄门保持,旧Raw调度兼容;物理校准另门。 |
2026-10-04 R9当前状态:v7来源完成发表的E2回归/旧Raw兼容已通过,b109已公证覆盖安装;Mac再次锁屏、0新轮,两轮CSV全部样本≥90%与wire来源独立复核PENDING,物理校准仍candidate。结果与下一动作。
2026-10-04 R10 · 实时预览与耐久封存分离
实时网络数据在原有界Raw记录队列接受成功后由同一指标公式预览;辅助字段networkLivePublication=accepted-preview.v1明确是accepted/provisional,不代表已耐久或报告完成。后续写入结果不重复投影;写入失败仍传播、最终报告仍只依据真实耐久Raw链。每流最多8个未退休receipt,设备source发表1.5s与实时2s年龄门不放宽,真实缺源/过期保持null,旧报告不回填。数值算法版本与作用域不变;代码/包/真UI验收分别记录在R10合同与结果,预览不当独立物理校准。
2026-10-04 R11有限真机复验
b111真实工作台两轮38项(含Startup),网络来源/数值/封存各27/27核对,全部CSV设备两个方向候选68/68与68/69,真实双向非零;accepted预览与最终同来源/窗口/数值一致,原年龄与null门未放宽。该结果只说明本次设备A/目标App A的输出与来源完整性,不是物理流量校准、跨场景长期稳定性或启动通过。b110元数据白名单失败与旧Session完整保留;详见修复/失败/验收记录。
2026-10-05 G33 · 独立捕获覆盖边界(公式仍v7)
自有开发tunnel端点878包/16定向流,仅4/8请求达到HTTP正文与独立TCP重组/SHA三方一致;5流不完整、4可见缺口260174B、2流无FIN。应用层HTTP双方8/8不替代抓包完整性;kernel drop0、host队列lossFree不推出端到端无丢失。该端点不代表设备全网络,native→wire clock缺映射,保持Device Tx/Rx独立精度pending,不用原正文总量相减或拟合速率。进程源另有delta全0/累计增长与错行反例,进程和设备算法不混。G33。
| 版本 | 日期 | 修订 |
|---|---|---|
| v7证据更新 | 2026-10-05 | 独立TCP4/8与捕获缺口分列,未升级整机字节校准。 |
2026-10-19 · 逐接口观察与整机参考的区别
getifaddrs通过AF_LINK的ifa_data读取SDK if_data,为独立的逐接口累计观察(E1/API研究、E2/本机控制),尚非手机E4。它不按DTX连接更新的同一口径计数:桥接、隧道、物理接口可能同时承载一次业务,不能将多个接口简单求和。仅服务器收到的HTTP正文也不包含其他进程和协议层开销,不能作整机真值。
新机控制中,API成功、SDK布局匹配,但桥接接口的sockaddr_dl.sdl_type和if_data.ifi_type分别为6与209;独立C读取复核一致。两字段分别保留,不能因它们不同就丢弃该接口、选取更接近产品的接口或断言ABI错误。差分需index/name、两type、flags/MTU及时间基准稳定;枚举失败/空值/重复/拓扑变化/计数下降或32位回绕为missing,不猜模增量。原始累计0允许,不能当非零覆盖。
判断方法:保留完整逐接口快照、调用时间括区间/API状态/errno/SDK布局与Mach timebase,独立C交叉读取;随后验证手机权限、DTX映射、独立完整捕获及层级/时间覆盖。上述本机观察不证明手机权限、DTX私有producer等价或整机精度。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.1 | 2026-10-19 | 增加逐接口双type、32位边界及禁止跨接口求和方法;本机E2控制,整机发送0/5、接收未开始;方案与失败记录 |
原始设备镜像的保全与未知项 · 2026-10-19
固定pymobiledevice3 11.3.1的PcapdService通过com.apple.pcapd取得全设备镜像。其watch()会为部分包补合成Ethernet头,write_to_pcap()在无timestamp属性时会采用host墙钟。因此独立参考资格保留service.recv_plist()返回的原始bytes值、源seconds/microseconds及host接收括区间,再离线解析,不能把转换后的抓包文件误称原始时钟证据。
本机新资格已在真实设备取得无process/接口过滤的15秒镜像并核SHA(E3通道);17,583包中17,571可解码TCP/UDP,另12个结果保留为未知封装/非TCP-UDP或family不符,未填0或自动丢弃。重复body也可能来自重传、两端镜像或隧道,不能仅凭hash相同就删除。尚缺丢包审计、方向实核、DTX全连接映射与跨时钟覆盖,整机独立参考与数值验收仍未通过。
解析按IPv4 RFC791、IPv6 RFC8200、TCP RFC9293和UDP RFC768保留各层长度,不将IP/传输正文/接口层混加;分片、未知扩展、加密传输和未验证offload不能猜成完整正文。当前inventory不是流重组器,不证明网络物理准确性。来源:实施与资格记录。
参考日志成本也需要单独验证 · 2026-10-19
逐接口参考应把原始累计保存完整,派生差分可离线复算。新host180秒对照发现,字段字典JSON重复编码会让完整采样成本P95超过1ms,去掉重复差分后仍未过门。5秒分段诊断确认编码是当前最大项。固定13列数组候选在不删字段/不合计接口的条件下减少编码成本;必须核typed整数、列数、schema及完整快照往返,再做同频率的完整对照。短诊断、低RSS或API成功不能取代持续开销资格,更不能取代手机覆盖和指标验收。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.2 | 2026-10-19 | 补充原始pcapd保管、协议inventory与开销失败/compact方法;E2软件与E3通道,发送率仍0/5;实施记录 |
NET参考日志的分段测量与整数编码 · 2026-10-19
手机Lab17的API均值约0.31ms,而完整参考mean/P95约1.39/1.72ms,超过事前1ms门;不能用API耗时代表完整采样成本,也不能因源码其他位置存在sortedKeys就归因排序。源码核对确认NET逐事件默认不排序;同原件host排序对照未显示优势。
判断方法是保全原件后,把构造、有效性校验、编码、append分别计时,并用同一批完整事件对比。Lab18候选仅将高频reference形状换为有界整数UTF-8 JSON writer,其他事件继续Codable;逐字段JSON语义、typed大整数、字符串转义、可选字段和行长度均须独立核同。host2050事件同源配对mean/P95从0.066236/0.087708降至0.014834/0.018083ms,原件未改,API未重采(E2)。该结果不能外推手机成本,必须新包重新工具及OFF/ON资格。
完整成本截止点还应包含raw.usable;不能在计时后再校验却称其完整。无效快照仍先保存原字段、再终止,不能为降低开销跳过校验、丢接口、减少20Hz或放宽1ms门。参考开销达门也不证明整机同层全流覆盖。来源:Lab18方案与实际增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.3 | 2026-10-19 | 分段成本与整数编码E2;修完整成本覆盖范围,手机重新资格待验,发送0/5、30/66不变。 |
Lab18手机完整成本与开销结果 · 2026-10-19
新版本完整重做四工具及同背景OFF/ON准备。四工具mean/P95均≤1ms;36秒ON保留721参考,完整mean/P95=0.729899/0.873667ms,最大2.641208ms、gap54.976375ms仍报告。OFF/ON各32有效比较样本,CPU均值增1.331072个百分点≤2,footprint差−55,296B(不当改善),全部原始帧/导出及独立算术复核成立E3。该结果只关闭本批工具与参考开销门;整机同层、所有流、方向、时钟和丢包Gate R未关,发送正式0/5、整体30/66。来源:Lab18结果。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.4 | 2026-10-19 | Lab18手机四工具和OFF/ON E3达门;最大值/gap保留,整机数值与新五轮待验。 |
RVI文件完整性与端到端完整性 · 2026-10-19
本次无业务过滤的15秒RVI资格保留17,420包/36,566,956B,4个接口、无截短,原件SHA及系统tcpdump独立读取核同(E3通道/E2离线)。文件方向码1/2与包元数据保留,但仍需受控端点核方向;不能只凭标志名将其当发送/接收真值,也不能将多接口数值直接相加。
原生统计为捕获17,420、过滤接收18,636、kernel drop0,差额1,216尚未对账。Apple固定BPF实现说明recv可包含尚未交给应用的包,drop不包含驱动前置丢包。故差额既不能直接认定丢失,也不能被drop0消除;本文件无ISB及逐包dropcount时应明确unknown。判断方法是核全文件EPB数量、捕获终态、统计原文及源SHA,独立读取所有包,再核手机到host的覆盖、尾队列及同层时钟;只验证文件能读不够关闭Gate R。
完整来源研究还需保管固定pmd NetworkMonitor._receive_message()解封后的对象。原生高层迭代器会跳过部分未知形状或消息码,不能以解码后的事件数称完整上游。新保管器显式tag保存类型/顺序/bytes/float bits,不使用pickle;未知Python类型明确失败,未知消息码照存。它不是原始DTX wire bytes,软件往返和synthetic规模基准不是手机来源证明。当前自然DTX/pcapd配对尚未执行,自有测试台须先正常退出并新鲜核空闲。发送率仍0/5、未验收,接收率未开始,30/66不变。来源:本次通道与保管准备。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.5 | 2026-10-19 | RVI文件/host统计分层与未知DTX消息保管;E3通道/E2软件,未证明端到端完整或整机数值。 |
重复包候选与TCP序列缺口不能互相替代 · 2026-10-19
本次RVI原件离线分类为TCP17,399、UDP13及8个未知/非TCP-UDP结果,系统tcpdump独立核同E2。没有跨接口相同IP SHA、定向流方向码一致,仍不证明接口可直接求和:隧道封装会改变IP头,合法ACK或重传可能复现原包,不能仅按hash去重。
按有向端点/接口观察TCP正文序列,在8条流中发现22处内部候选缺口,共4,405,529序列字节;14,708带正文包的端点、绝对序列、长度及SYN标记已与系统reader核同。该事实与host drop0可以同时成立,不能据此反推真实丢包率或给产品加补偿。区间分析不是完整TCP重组;缺前缀/尾部、offload形状、连接生命、ACK-only和UDP完整性另需证据。来源:层级与序列增量。
复现与避免方法:保留原件、接口、文件方向码及真实IP/传输长度;按32位序列边界、SYN占位和连接生命分组,显式保留ambiguous与未知,再与独立工具/端点对照。相邻区间应视为连续,不能计为overlap;重叠也不能直接当重传。若存在未解释缺口,完整参考门保持未关。当前发送率仍0/5、未验收,30/66不变。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.6 | 2026-10-19 | 增补IP重复候选与TCP序列候选缺口E2方法,明确不能校正产品或推算真实loss。 |
自然双通道映射:接口标签与重复连接声明 · 2026-10-19
自然背景配对可以验证通道和映射可行性,不能替代完整设备参考。本次20秒同时保管862个SDK解封对象和27,709个pcapd原bytes,经独立framing/类型/顺序/逐件及全流SHA核同(E3通道/E2离线)。原件中8个未解结果与2个已解无端点候选包全部保留;未知码0或pending0仅说明本次观察到的对象和队列,不能推断手机镜像前置无丢失。
接口“同名”需要先核字段结构:pcapd保存base name与unit,DTX接口事件保存完整名。直接比较字符串会误报不一致;本次base+十进制unit候选组合后,24,263个唯一端点候选包名称均一致。该组合仅是本次映射事实,仍需核接口索引、IPv6 scope、拓扑及隧道封装,不直接合计接口或自动去重。
连接serial也不能盲当唯一生命键:本次257个连接声明仅220个不同serial;37组重复声明端点/kind/interface相同,但全部声明字段完全相同仅3组。600更新另含37个没有连接声明的serial,均见于负time初始更新。非负time更新字段也可下降,单凭下降不能判断是增量、重置或丢包。复现时按原始消息顺序保留全部声明、更新、host接收括区间、端点/IPv6 scope与接口,显式标记多候选/无候选;不要按serial去重、按kind猜协议或按time名字猜单位。完整生命与跨时钟证据成立前保持unknown。
本次未经第二套独立IP/传输decoder复核,分离核验的独立部分是原件保管与消息结构。指标仍30/66、整机发送正式0/5、Gate R未关;不外推整机数值精度。来源:自然配对增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.7 | 2026-10-19 | 自然双通道E3/离线E2、base/unit与重复serial方法;不改变指标公式或验收状态。 |
原生帧独立读取与接收时间括区间 · 2026-10-19
自然背景原件经过不增删原帧bytes和源时间的容器转换后,用系统tcpdump读取全部27709件,并独立逆读比对每件原SHA/时间;TCP27697、UDP4、ARP5、ICMPv6邻居发现2、unknown1分类核同(E2)。这是第二套协议读取的补充,不是第二次独立捕获;未知帧和两件已解UDP无端点候选仍保留,不根据猜测修正封装或解释成丢失。
消息必须按原始顺序研究。此样本37无声明serial均仅负time初始更新;34组重复声明仅接收buffer大小变化。不能根据重复serial认新生命,也不能根据字段下降判定增量/重置。复核方法是逐列对照同serial声明及更新顺序,保留全部初始项与未绑定项。
若要把host接收调用括区间当事件时钟锚点,先对每件求可行offset区间并检查全体交集。本次假设交集为空,宽度−1000375959ns,故该桥接方式不成立;source时间单调和host收件顺序相同仍不足以证明单位、时钟或延迟界。不得拟合一个看似接近的offset再宣称跨时钟校准完成。需另有独立源时钟与同场端点证据。范围为该样本离线研究,发送0/5、30/66和Gate R保持,来源:本次增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.8 | 2026-10-19 | 增补原生帧第二套读取、原消息顺序及固定offset反例E2;不改变公式或验收状态。 |
单流业务正文、发送IP层与尾队列 · 2026-10-19
一次1MiB受控上传给出具体的同层反例:本流DTX发送730包/1087059B,与pcapd同端点发送IP层完全相同;TCP正文1049087B包含511B HTTP头+1048576B业务正文。因此不能用业务正文或服务实收正文直接当整机发送参考。本流相反方向DTX269B等于TCP正文,而IP层为6105B,双向层级不能根据字段名推断相同;这不是接收指标验收或所有协议的公式修订。
判断方法:先用客户端实际端点和本生命对应声明选择流,保留重复声明;把DTX原始packet/byte逐项与pcapd方向、IP/TCP/业务层分别对账,再用系统reader交叉全部包和带正文序列。该样本双向SYN/FIN及逐byte正文重组连续、请求与服务SHA相同,仍只证明该流业务连续,不能覆盖其他连接、UDP、隧道、控制包或镜像前置丢失。不要按此单流结果修改整机公式或用差额补偿产品。
观察结束、停止指令和源结束是三件事。本次28秒窗口pending0,stop前2、stop后24对象未作为原件保管,说明窗口结果completed与完整尾部不能等同。避免方法是在同一有界保管生命周期内保存stop前后对象并标清阶段、逐件SHA、停止/取消及关闭终态,保留原失败样本;队列最终0也不证明设备或传输前置无丢失。当前Gate R仍未通过,发送正式0/5、整体30/66不变。证据E3受控通道/E2独立离线,来源:受控增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.9 | 2026-10-19 | 单流发送IP层/双向差异与stop尾队列方法;全scope/时钟/完整性未证,不改指标公式或验收数。 |
停止监控、关闭队列与本地终止标记 · 2026-10-19
固定SDK的停止监控与关闭host通道并非同一操作;默认服务关闭会立即清空队列,writer在stop返回后提前退出可能漏掉已经到host的对象。判断方法是分别记录stop开始/返回、队列pending、所有原对象和通道关闭时刻,先核固定版本源码,再控制非空backlog及取消同调度边界。不可用关闭后0队列或未解码事件数0证明保管完整。
本次host取证适配层只将关闭队列改为保留backlog,继续原dispatch/codec,唯一writer在stop及本次独占DVT关闭期间保管对象,直到SDK本地QueueShutDown。每件标明host接收阶段并核SHA;未知消息照存、预算或关闭不确定即partial,指令不重发。队列剩余1项可以是本地sentinel,不是源消息或设备结束通知;不能把它编码为null或把它减掉后宣称端到端无丢失。
17项新软件控制及12项相关既有控制通过E2;一次新自然背景824对象保管、stop/close各一次及本地终止成立E3通道,独立类型/顺序/阶段/SHA核同E2。该真机样本的非window数据对象为0,非空关闭backlog目前仅软件实证;旧24尾对象未恢复。pcapd30秒与DTX约19.074秒并非同起止源窗,不能直接比较总量或loss。判断源端完整仍需独立覆盖/源时钟/端到端证据,不能以安静期或本地终止代替。
同一既有受控流按6更新packet数分配842包,候选1秒桶逐桶bytes核同,共同offset可行范围宽105微秒;这只说明该假设尚未被样本否定。分桶使用了源计数,不能再当独立时钟校准真值。相似统计字段也不保证来源相同:Apple固定公开nstat源码区分socket与接口取值路径,不能仅凭字段名认定私有DTX用该producer或与当前手机二进制相同(E1研究)。当前发送0/5、整体30/66、Gate R仍未关,来源:生命周期与约束增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.10 | 2026-10-19 | stop/close/backlog/local terminal分层与一次空尾部E3;单流逐桶假设及E1来源边界,不改指标公式/验收数。 |
镜像中有包,不代表同一连接统计范围 · 2026-10-19
对全部镜像字节与DTX连接增量直接相减,会混合链路控制、IP控制、传输流和不同来源时间窗。判断时应先保留原帧、独立核长度/协议/端点,再把ARP、ICMP/ICMPv6、IGMP和坏形状单列;识别DHCP要核固定头、cookie及选项,不能只看端口。协议形态成立也不等于checksum、来源身份或镜像完整性成立。
两个既有样本的65098包中,65007个TCP/UDP包由第二独立parser逐字段核同;剩余91件含ARP19、ICMPv4 48、邻居消息18、IGMP2及版本矛盾4件,均保留。12个UDP已核DHCP Discover,不另加总。系统reader交叉了全部91件及12个DHCP原帧,103帧字节/source ticks均未改,只是选择性派生格式复核(E2),不是另一次完整捕获。格式依据RFC 826、RFC 792、RFC 2131、RFC 4861。
重复声明还要区别“同serial再声明”与“多个serial候选”。本次两批端点歧义均属前者,不能由声明次数推连接数或证明同生命。保留IO码后,两批各有同向DHCP端点在不同IO码出现;不能仅按端点/方向码跨接口合计或去重。受控无声明更新中2项time非负但packet/byte均真0,另批无声明更新均为负time初始量;不能叫非零漏采,也不能据此证明覆盖完整。原30秒/约19秒不同窗和旧24尾对象缺口继续保留。
适用边界:以上是既有原件的E2范围审计,尚未识别私有producer的完整统计范围、共同源时间窗及全部合格流可比层,整机发送仍0/5、整体30/66、Gate R未关,产品公式/阈值未改。来源:全流覆盖审计。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.11 | 2026-10-19 | 全量第二解析/控制协议与103选帧系统复核、同serial重复声明和无声明零值边界;E2,未通过整机参考或指标验收。 |
单流对齐失败如何区分时钟、字节层和统计范围 · 2026-10-19
问题表现:同场受控单流可满足某个固定1秒桶offset,不代表所有连接共用该解释。本次冻结单流105微秒可行区间后,以全部其他连接作留出检验,467更新中发送450/接收171不可行,所有共同offset交集为空;第二reader独立逐包求和核同(E2)。训练流不重拟合,负time/t0/无声明等全部单列;“timestamp数值内部”不等于捕获生命全覆盖。接收仅作研究,本项不验收接收率。
判断方法:先固定假设与训练/留出边界,再精确枚举包进出桶的临界offset,检验packet和bytes合取;失败只否定组合假设,不能唯一归因于clock或产品。还可作不依赖时钟的必要条件:若包数表示完整TCP/IP包且bytes表示这些包的完整IP字节,则每包至少40B。本次22条TCP候选更新不满足,例如2包/26B小于80B;声明socket IPv6不能直接认定wire IPv6,所以不以60B下界扩大主结论。依据RFC 791、RFC 8200、RFC 9293。这没有识别实际字节层或证明packet字段的全部含义。
避免方式:保留ACK/重传、零字段、未知与尾部;不逐流拟offset,不加容差或经验系数凑一致。源0更新对应无正文ACK只是本次形态相关,不能据此筛除ACK作“真值”。应先溯源实际producer覆盖的协议/接口、packet和byte参数,再选择同层参考和窗口。
本机macOS的同名DTNetworkingService经固定二进制/arm64 subtype及19项系统binding交叉可见NStat TCP/UDP入口、累计snapshot求差、接口过滤和1秒查询interval标签(E1)。这些是host实现事实,手机同源尚未证实;两件本地移动DDI各111项未发现同名producer,也不能推断手机服务不存在。静态工具必须匹配FAT的CPU及subtype,并解析chained fixups,不能把arm64e的encoded pointer套在arm64反汇编地址上。资料用于研究,不加载/注入目标或更改已验产品语义。
适用边界:本次原件反证E2、本机来源E1;当前30/66、发送正式0/5、Gate R未关。产品仍network-window-rate.v7候选语义,未证明全设备独立数值、源时钟或镜像完整性,旧24对象未补回。来源:共同源窗与producer核验增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.12 | 2026-10-19 | 固定留出共同offset反证、22个通用IP头下界反例、本机NStat实际字段/查询/过滤E1及移动DDI负结果;未放行整机参考或指标验收。 |
手机来源研究:符号清单、缓存索引与实现代码分层 · 2026-10-19
本机开发镜像不一定含手机运行的系统framework。本次固定pmd11.3.1的RemoteFetchSymbols服务返回59文件/4043091248B,只读清单阶段未请求文件数据(E3通道/E2保管复核)。清单可证明服务公布了哪些路径与大小,不能证明已经拿到二进制、全部运行来源或数值真值。
路径必须按完整目录匹配:本次系统与DriverKit均有同basename主缓存,大小491520B与9879552B。应保留原目录、path/size集合、原枚举顺序和原SDK整数类型;新连接先核集合稳定,再按本次真实index读唯一选定文件,不能沿用旧index、按basename覆盖或盲拉全部4GB。固定文件流式写盘,短读/超额/超时及关闭失败均partial保留,不补0或重试未知请求。
只取491520B系统索引后,Apple官方格式的图片表/text表及54 subcache经独立reader核同,实际3333 image条目;其中有DVTInstrumentsFoundation与NetworkStatistics,text分别1036288B/311296B。这仅定位手机导出的系统映像索引;subcache VM起点还是文件候选,实际映射、实现代码与运行服务绑定仍待核。不要从同名host二进制的NStat路径直接外推手机,也不要把索引SHA当签名验证。官方结构来源:固定Apple dyld头。
适用范围:新连接前后身份/空闲/61记录metadata与sealed基线全部核同,无新run/安装/launch;忙拒绝保留,只有Owner授权下的一次同生命正常退出。16项工具控制与索引/响应E2全量核验不能提升为指标通过,当前30/66、发送0/5、Gate R未关。原始响应、路径、映像地址及失败私有保留,公开只记脱敏方法与边界。来源:手机清单与系统索引增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.13 | 2026-10-19 | 手机59文件清单、480KiB系统索引/3333映像/54子缓存的E3通道与E2保管核验;未取得producer代码,不改变Gate R或正式0/5。 |
从子缓存取得TEXT后,哪些来源仍然缺失 · 2026-10-19
共享缓存的文件suffix和最近VM起点只用于选候选。必须实际核子文件UUID/平台与mapping,按address、size、fileOffset转换每个目标范围,再核原Mach-O架构/平台/映像UUID;不同segment可散布在不同文件。本次只读一个113999872B文件,实际得到DVTInstrumentsFoundation的1036288B TEXT/711848B指令,数据与链接五段均缺失;没有完整dylib,也不能据TEXT独自恢复imports。来源结构:Apple dyld固定头。
静态工具可以在空target中解码原指令buffer,并逐条核编码/原地址,不必加载或执行手机映像。本次177962条原编码/地址由第二reader核同,1条未知保留。该核验只证明派生解码与原字节对应,不能证明所有指令含义、动态路径或正在运行的手机服务采用这份映像(E1静态/E2保管)。相似NStat字符串只是线索,不替代函数/参数/调用路径证明。
方法表还需要区分相对字段的基准:small direct方法的name可相对共享selector base,不能像types/IMP那样总按字段地址相加。列表间可能有8B对齐的零padding;应对全部字节记账,截断、非零padding或未取base显式missing。本次252表/2193入口及592B对齐全部核同,但公共base与class关联未取,方法名/class解析0;未把猜测名称贴在入口上。Apple objc4固定布局。结构版本与来源header长度也须核对,不能套最新公开定义推断旧cache。
每个新文件研究仍须新鲜identity/封口/metadata/idle及实际清单核验。一次前后idle不担保后续持续idle:本次下一文件新准入发现自有App存在,停止且清单/数据请求0,不重用旧收据、不自动signal。原因尚未确定,不能写成用户启动或系统唤醒。全部失败、原件与未知保留。适用范围为固定来源研究工具与手机导出原件,E3来源通道、E2独立映射/字节核同;尚无完整producer语义或整机参考,30/66、发送0/5、Gate R未关。来源:目标子缓存结果。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.14 | 2026-10-19 | 实际手机TEXT映射/UUID与全量编码、相对方法表保管核验;缺segment/selector/class/imports和新busy拒绝边界;未通过指标验收。 |
header尺寸异常如何避免把猜测写成来源事实 · 2026-10-19
问题表现:主cache声明优化头32B,所查公开version1结构却需56B。不能补0、改声明或按字符串反拟合selector base。先固定原件/真实mapping/源码版本,只读声明范围;本次在固定Apple dyld-1066.8发现先写ObjC尺寸、随后Swift路径又覆盖同一尺寸字段的源码机制(E1)。它与实际形状相容,但没有证明手机由该精确源码构建或异常的唯一原因。公开构建路径。
本次另立有界离线Hheader,才在已有mapping内追加24B作56B候选;原字段32B始终保留。新base必须来自固定结构字段,缺对应文件时全部2193项保留missing。按实际base另取唯一113MB候选文件并核真实UUID/mapping后,全部2193名字在2048B/NUL/UTF8界内解析。更强的交叉是libobjc原映像的version16旧优化头:其self-relative的6个地址与候选cache-relative结构完全一致,第二独立读法全部核同(E2)。结构及地址算法。
避免方式:保留版本、声明长度、额外审阅长度与证据等级;把“公开机制存在”“本数据跨结构吻合”“手机精确构建来源已证”分开。缺base时不猜、读到selector时也不默认已经识别class/imports或运行服务。该方法只适用于已固定来源及相应结构版本,本次class关联仍0、实际producer绑定与完整数值参考未证,30/66、发送0/5、Gate R未关。来源:selector双优化头增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.15 | 2026-10-19 | 32B声明/56B候选及公开覆盖路径分层;libobjc旧头6地址、2193 selector独立核同;E1静态/E2交叉/E3来源,未验收指标。 |
从encoded pointer恢复字段来源的边界 · 2026-10-19
问题表现:磁盘缓存中的classlist/CFString并非普通运行指针,直接mask地址可能错误关联类、selector或统计键。对本批实际6映射先核header/UUID和with-slide表,按真实v3格式只解page chain成员:初始偏移按byte,next按8B word;auth值由auth_value_add+低32位得出,unauth按官方top8/low43规则还原。认证字段只记录、不执行认证;非零未入链scalar保留unknown,原null不等于有效0统计。独立reader和固定Apple头C++字段交叉通过E2,原metadata事实仅E1。
复核应覆盖全部条目而非只看目标:本批183 classlist、366类/元类、2193方法入口全部关联;原selector stub和ivars再核实际字段引用,三个key表23槽中18解析、4null、1来源missing保留。字段先经真实global key/CFString/长度/字符串mapping,再称rxPackets/rxBytes/txPackets/txBytes等;不从名字长度或host同名实现反拟合。另一次清单顺序变化由当次index和完整path-size集合核同处理,不假定枚举位置稳定。
适用限制:原路径可见PID过滤、隐藏接口/lo0开关及前7字段差分,不能把networking服务自动当所有接口wire包参考;txBytes键名不证明payload/IP层,interval或timer常数不证明时钟桥。原文件来源/类方法关联与当前运行绑定是不同门禁;本批外部API符号名仍0、完整函数extent/底层packet-byte/查询时钟仍待,E1/E2不得写成E4数值通过。30/66、发送0/5、Gate R未关。来源:原类与字段增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.16 | 2026-10-19 | 原v3链/全部类方法、28 selector/16ivars/23字段槽独立核同;PID/接口过滤和差分原路径E1,外部定义/运行绑定未证;未验收。 |
provider与头部口径不能由txBytes名称推定 · 2026-10-19
问题表现:同一网络服务出现多声明serial和低于完整IP+TCP头下界的统计;不能因此把抓包漏帧、进程重启或单一字节层写成原因。本批从手机实际共享跳板→NetworkStatistics原导出/nlist→class/selector/IMP取得静态路径,65跳板、248导出、11目标函数及94对象/1284方法和44533原编码分离核同E2。原路径事实仅E1:默认TCP尝试provider 2/3,UDP尝试4/5/8,后续添加依赖前项成功;countsIncludeHeaderOverhead的TCP/UDP快照分别比较原_provider==3/5。
判断方法:先保存原文件UUID/映射、load command与原指针,再核真实export和nlist;用原类/selector/ivar定位实际分支,不借host同名实现或redacted本地符号猜名。LC offset必须经Mach-O __LINKEDIT vmaddr/fileoff和真实subcache mapping桥接,不能直接当subcache偏移。导出未知flag/reexport/resolver仅保留opaque,不猜函数地址。
避免方式:将“静态API选择多个provider”“某provider本次活跃”“每种provider bytes累计层”“当前服务绑定本映像”分别取证;没有provider身份和时钟资格,不给全部流套统一IP层,也不按tuple相同自动去重。固定Apple公开ntstat候选实现仅说明公开机制,未核手机精确内核,不将公开枚举直接映射到手机编号。适用范围仅本批原文件静态格式;E1/E2不等于E4数值真值,H1反证/22头下界反例与24旧尾对象缺口保留。
另一个可复用陷阱:LLDB内嵌Python traceback后仍可能exit0。进程资源守卫passed仅证明退出/资源条件,应额外核结果产物存在、completed/sourceStable、控制、全原编码与process/image未创建;本批首失败保留后新命名重做,不能用exit0替代成功。来源:原导出与provider增量。当前30/66、发送0/5、Gate R未关。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.17 | 2026-10-19 | 原跳板/导出/类与44533编码独立核同;多个provider选择及头部标志分支E1,实际活跃/底层定义/时钟/运行绑定未证;未验收。 |
全局字段发现后仍需核实际输出与参考 · 2026-10-19
问题表现:SDK暴露的systemInformation在实际手机服务上不支持;networkInformation虽成功,却只是接口字符串。sysmonSystemAttributes实际为顶层set,不能假定为list或直接塞进原Raw encoder。避免方式是先核真实服务方法与返回类型,显式保管类型/失败,不重试不支持的selector;新增独立set封装仅限顶层字符串,不扩大DTX encoder接受面。
实际37项系统属性包含四个网络字段;真实原37行表与设备能力集合全核同。首次procAttrs=[]被手机拒绝缺pid,独立新配置加入必需pid后才获得网络样本。因此ack、stop或保管器completed不代表采样成功,必须核数据和错误通知。必须保留二进制data、plist、首确认及尾部,不能用跳过解码失败的读取器掩盖丢失。本批12组System及11相邻不减、字段顺序和原时刻连续关系已证,但字节层、scope、计时单位/校准、首点与重置仍待验证;字段名和短时间单调性不等于完整累计契约。
分离复核应用不同读取路径:原始bytes/mapping核静态字段,有界plistlib/UID图核NSKeyedArchiver,不调用归档代码;逐件SHA并穷尽所有消息,包括停止后四对象。本地queue terminal只说明已交付对象被保管,不保证producer或传输无丢失。适用于当前固定SDK/手机通道,E3能力/E2离线/E1静态,尚非E4数值验收。产品仍采用原来源,本次只研究可替代候选,不据此修改产品口径。
另原NetworkStatistics的txBytes虽直接由counts装箱,仍不能凭名字认定统一packet-byte层。固定公开XNU候选在部分TCP/UDP输出路径按data len累计,不能外推未审分支或手机精确内核,更不能将旧反例唯一归因。应先核底层定义,再做整机scope及独立同窗对照。当前30/66、发送0/5、Gate R未关。来源:计数查询与Sysmontap增量。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.18 | 2026-10-19 | 原count/query与全局属性原件复核;新自然12组网络候选及完整尾部E3/E2,字节层/时钟/全scope参考未证,未验收。 |
客户端导入名不是服务端计数实现 · 2026-10-20
问题表现:全局Sysmontap的四字段存在且产生样本,仍不能从客户端API名称推断网络字节层。libsysmon原TEXT仅12283B/1510条指令;36导出、128 nlist及7 XPC常量可核,服务标识为com.apple.sysmond,但服务端字段累计代码未取得。实际优化分支可能跳到共享stub,存在导入名不代表任一指定callsite已绑定此函数。
判断方法:先从原LC_DYSYMTAB和section reserved字段读取间接符号表,再将本地auth stub精确关联原nlist;调用仅在实际目标相等时命名。本批118间接项/55imports、176分支中仅21处按本地stub关联导入;其余优化目标保留未证,不按函数邻近或字符串语义贴名。原7个常量还须真链、mapping与原字符串共同核对。首错误断言与临时inspect均保留,临时输出不能参与验收;分离reader应核实际bytes和所有条目,而非接受主脚本的布尔自评。
避免方式:将“SDK声明”“设备支持”“库内标识/导入”“实际调用绑定”“服务端累计点”“独立参考一致性”分别取证;少一项只报告相应证据边界。本批E3来源/E2格式核同/E1静态,没有E4精度。现有Lab18按32位if_data逐接口观察,重置或回绕记missing;不能将其绝对值盲加后与64位全局累计值比较,也不能自动解除crossInterfaceSumAllowed=false。适用范围为固定SDK和原件研究,scope/字节层/源时钟与独立参考仍待证,30/66、发送0/5、Gate R未关。来源:libsysmon原件与边界。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.19 | 2026-10-20 | libsysmon原件/1510编码/36导出及XPC常量核同;优化调用绑定/服务端累计实现未证,32位接口参考边界保留,未验收。 |
原生接口字节粒度与同场差分反证 · 2026-10-20
问题表现:Sysmontap网络累计与原生接口候选即使包数吻合,字节也未必同层可比。一次事前冻结同tick及all/nonloop假设的研究中,17对有7对端点无法被原生快照包围,必须missing;10可评估对两scope各8字节反例,packet反例0。不能用包数吻合代替字节、时钟或全设备scope证明。
判断方法:每端点T取最后end≤T的L和最先begin≥T的U;逐接口在整个包围窗拓扑、配置、timebase稳定且32位计数无下降时,候选差分范围为[max(0,L_B−U_A),U_B−L_A]。缺快照/计数下降均missing,绝不模修正或跨32/64位绝对累计求和。两预定scope只是反证模型,生产crossInterfaceSumAllowed=false不变;精确包络不是经过校准的整机参考。
本次14942个原生字节观察中的5784个非零值全为1024倍数(E3来源/E2全量复算)。固定公开XNU rtsock.c在iflist/iflist2的非platform分支对bytes进行1024对齐及uint32转换。该E1机制提示参考本身可能有粒度限制,不能证明当前手机内核/运行绑定,也不能据此调大误差把8反例改判。避免方式:同时核原生输出粒度、位宽、权限与源窗,先从确定来源推导不确定区间,再做新的留出检验;不从已有反例拟合有利容差或接口集合。
工具收据也必须保管:此次AFC stat的datetime导致最终执行result序列化失败,原始样本仍保存;只读重新下载8源文件核同仅证明当前原件一致,不能补造历史执行成功/关闭结果。修复host收据支持明确日期类型、拒绝未知类型,并原子fsync写入;修后软件通过不等于手机重验。适用于Lab18/固定SDK和该研究,完整参考成本mean/P95<1ms不证明参考数值精度,时钟和服务端定义仍待证。30/66、发送0/5、Gate R未关。来源:同场研究和失败保全。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.20 | 2026-10-20 | 同场39对象/241快照、10可评估对8字节反例;原生1024粒度与公开对齐机制分层,执行收据失败/只读补审不混同,未验收。 |
量化不确定区间与实际时钟回复 · 2026-10-20
问题表现:接口byte读数粒度为1024时,按精确字节累计差分可能出现反例;时钟SDK注解也不一定符合设备实际类型。固定公开mcache.h的P2ALIGN在无覆盖分支清低10位,因此只有机制适用、同层、span内高32位相同三个前提下,读数q对应[q,q+1023]。结合时间端点包围,逐接口差分候选区间为[max(0,q(L_B)−q(U_A)−1023),q(U_B)−q(L_A)+1023]。来源:固定公开宏,仅E1,手机精确机制/运行绑定未证。
避免方式:量化模型必须与旧精确模型分开版本,拒绝全span的未对齐、配置/拓扑/timebase漂移或计数下降,不把低32位单调当作没有完整隐藏回绕,也不按观察拟合接口子集。新增1048576端点余数组合与边界软件控制(E2);旧研究10个可评估区间在条件区间内,但不是独立留出,原精确8反例不改判。生产crossInterfaceSumAllowed=false保持,不能把条件包含当成整机参考资格。
判断时钟时先保管原类型:本次7次machTimeInfo实际为6项list,字段1/2均125/3,第0/3字段各6个相邻增量按该候选timebase换算均落在host调用时长包围内;12个Sysmontap End只落在第0字段前后回复范围,第3字段0/12。两字段差恒定也不能拟合平移后宣称同域。原函数名/精确同步未证,SDK注解、字段名及相邻增量吻合都不能替代源时钟校准。E3实际回复/E2独立typed和plistlib读取,不是E4精度。
本地terminal只证明已交付对象保管,本次27对象含停止后4对象均保留;原24尾对象缺口仍未补回。新留出准入因真实新生命存在而拒绝,容量/新run0;不要因上次idle或已做正常退出而跳过新鲜检查,也不要循环signal。适用范围为Lab18/固定SDK的研究,当前30/66、发送0/5、Gate R未关。来源:量化/时钟与失败留出准入。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.21 | 2026-10-20 | 条件floor1024区间与端点余数控制、实际7次时钟/27流对象核同;原反例保留,独立留出未启动、精确时钟与适用性未证,未验收。 |
新留出与scope可辨识性 · 2026-10-20
问题表现:all接口及排除loopback的两scope在同一个外网上传里都包含,并不能证明两者等价或确认完整整机范围。冻结conditional-floor1024/1后一次新1MiB上传中,17区间有6个缺端点包围;11个可比较区间两scope的bytes/packet均被条件区间包含。精确模型仍有6个字节反例,原数据8反例不改。新留出支持有限条件兼容;公开机制适用、同高32位、同层三前提仍没有因此变成事实。
判断与避免方式:先冻结模型和scope、保管新数据和所有尾部,再由不共享比较器的第二算法全量核对;缺区间继续missing,不补零或缩分母。只有能产生两scope不同预测的实验才可区分范围;下一设计loopback/对照研究,不重复同一种外网上传来宣称全scope。Sysmontap源时间与参考tick的有限兼容不等于精确校准,生产crossInterfaceSumAllowed=false继续保留。
工具链也须独立验schema:实际枚举62条不代表收据必有actualActiveRuns。一次host遗漏字段使调度器在上传前KeyError,原件不回写;修后新连接重新枚举/核SHA并在使用前校验count/metadata/schema,才开展一次新run。新执行器完整result、call、close及8源文件成立,证明研究执行恢复;不能用它补造旧执行result成功。当前63全部封口/released、产品与测试台idle,无pending,仅单研究容量;正式五轮仍需独立容量和保全。
适用于固定Lab18/SDK/设备环境的E3研究与E2独立复核;参考mean/P95<1ms,max1.057333ms单列,不称物理精度或指标通过。30/66、发送0/5、Gate R未关。来源:新独立留出与完整执行收据。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.22 | 2026-10-20 | 新独立上传的11个可评估区间条件包含,6missing及6新精确反例保留;两scope尚不可区分,执行收据恢复不等于指标验收。 |
loopback是scope判别负载,软件通过不代表手机资格 · 2026-10-20
问题表现:外部上传使all/nonloop两项预测都包含时,重复同类上传不能区分范围。下一研究增加仅在自有测试台run中存在的单连接loopback接收器;该接收器/HTTP正文仅用于制造可观测差异,仍不是整机字节真值,也不改变产品来源或跨接口求和门。
判别规则先冻结:两scope预测区间[Alo,Ahi]与[Nlo,Nhi]满足Ahi<Nlo或Nhi<Alo时才有区分力;在至少一个这样的区间排除另一假设,且所有可评估区间无所选scope反例,才报告该设备/版本下有限支持。缺包围/重置继续missing,两者都含/都不含继续未定,不拟合接口集合、时钟平移或新容差。Hq的机制/同层/同高32位前提仍需另证,实验成功不能反向证明前提。
避免测试工具污染结论:默认请求保持外部端点语义,只有显式loopbackServer=true才绑定127.0.0.1一次端口,冲突即失败;服务有35秒deadline/单worker/1MiB正文/header16KiB,完整client/server SHA及实际绑定/peer和逐FD关闭收据另存。socket已收字节必须等于header+已准入正文+被拒有界prefix,不能把未准入已收字节丢账。线程退出和FD close返回分开验证;关闭未确认时不宣称workloadReleased,未知EINTR后不盲目重复close。超时采用单调时间,指标源时钟仍须单独校准。
本次Lab19仅E2:40接收器/50engine/58编码目标控制、真实host对照和独立复核、ARM18源/开发签名/独立IPA核同;手机尚未安装或验证。新host首响应mean4.093566秒、原4.018036秒,差异如实保留,不能拿host成本代替手机20Hz开销。正式实验前须新鲜全原件保全、升级前后源SHA、真实容量和工具/OFF-ON资格;软件包/签名/host收据不等于指标通过。当前30/66、发送0/5、Gate R未关。来源:Lab19软件候选。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.30 | 2026-10-20 | 回调Start/End原编码链核同,采样实际时刻未证;新ifmib64 host候选33记录及高低位核同,iOS未验、Gate R未关。 |
| reference-qualification.29 | 2026-10-20 | 原内核导出/nlist两路绑定machTimeInfo三调用,六字段静态来源进一步确定;64/128metadata保管E3,非Sysmontap精确校准、Gate R未关。 |
| reference-qualification.28 | 2026-10-20 | Lab19两scope配对34区间含12missing,2区间排除nonloop、Hq条件下有限支持all;机制/同层/高位/精确时钟未证,Gate R未关;64实枚举/准备槽0。 |
| reference-qualification.27 | 2026-10-20 | Lab19完整对象OFF/ON参考成本E3达门,各32比较帧/158原对象、CPU增1.294713点;62实际活动/2准备槽,scope及Gate R未关。 |
| reference-qualification.26 | 2026-10-20 | Lab19新四工具580事件/5任务与33源件核同E3,mean/P95达门、max/gap保留;60活动/4剩准备槽;OFF/ON首回复/尾部需先保管,scope/Gate R未关。 |
| reference-qualification.25 | 2026-10-20 | 七旧run完整保留归位,63→56及8准备槽实核E3;新run0,四工具执行器/匹配listener成本资格待补强;Gate R未关。 |
| reference-qualification.24 | 2026-10-20 | Lab19一次安装及2757源件/126metadata/全树保全核同E3;持久意图/close/源漂移16控制E2;新run/容量0、成本/scope待验。 |
| reference-qualification.23 | 2026-10-20 | 冻结loopback判别条件;Lab19仅host/ARM签名候选E2,双释放/字节记账与默认兼容核同,手机/E3/scope待证。 |
2026-10-20 · 已安装参考工具与指标资格的边界
Lab19已单次内部覆盖安装,2757源件3879024186B升级前后SHA、完整树及126metadata核同,新连接确认63封口、无pending/idle。此为E3安装元数据与源读取/E2分离保管;只证明工具版本和旧数据保全,没有生成新run/容量。四工具、20Hz成本和loopback/外部scope必须在此实际版本另验;不能用Lab18历史成本或host loopback通过替代。部分文件仍存在不足以证明完整集合没变,必须核完整树;关闭失败和未知写入也不能宣布completed。当前30/66、发送0/5,Gate R未关。来源与精确限制。
2026-10-20 · 准备容量与正式容量独立
七条已核SHA旧run仅移入保留目录、导出原位,数据量不减少。新连接实核56封口/released、无pending/idle和8个新名称缺席,只支持四工具/成本/scope准备槽;不支持正式五轮。移动前后源文件及metadata一致不意味着旧失败通过,也不修复未保管尾对象。工具升级后还应审阅执行器固定版本/持久退出意图及成本背景,不能把旧执行器或旧版本资格直接套用。范围E3保管/枚举、E2复核,无新指标证据;来源:本批。
2026-10-20 · 四工具资格与OFF/ON成本分开
Lab19四工具(参考开/关、取消、并发恢复)580事件/5任务及全部33源件核同,完整reference mean/P95均≤1ms,max1.081750ms/gap62.954125ms保留;E3仅工具行为/逐参考成本与保管。尚未做该版本OFF/ON CPU/footprint或scope,两者不能由四工具替代。OFF/ON固定等背景reference-only、listener=false,不为fixture listener寿命约束缩小已有统计窗口或分母,也不把该背景结果外推为活跃server开销。SDK进入/关闭可能消费首回复或清队列;应先保管完整首件与尾部、再从固定窗统计,未知/尾部不混入或删除凑达门。当前60条实际活动,仅4剩准备槽;30/66、发送0/5、Gate R未关。来源。
2026-10-20 · 完整对象保管后的参考成本资格
SDK迭代dict可能仅留下字符串key,默认关闭也可能清队列;这些记录无法事后补回原值。应先使用独占通道保存首回复、全部typed对象/位模式及stop/close到本地terminal,再从预先固定的观察窗统计;尾部/边界保留排除,unknown/坏bytes/配置不符拒绝,不能过滤后缩分母。解码工具也须覆盖系统的精确NSNull形状,不能将其误作采集丢失或任意未知类放行;NSNull并不意味着有效数值0。
本次Lab19 reference-only/listener=false OFF/ON各38秒、固定warmup后32比较帧,158原对象全部核同;CPU增1.294713点、footprint增84432B,721参考完整mean/P95=0.731875/0.895333ms达门E3。max1.075750ms/gap54.836750ms保留。独立plistlib UID与Fraction reader复核,不依赖primary解码或统计。该资格不覆盖活跃listener/正文开销,不证明scope/字节机制/精确时钟,正式0/5与30/66不变。新62封口、124metadata核同及2准备槽不是正式容量;来源与失败保全。
2026-10-20 · 用loopback区分接口范围的证据边界
外网上传时all/nonloop都包含无法区分scope。只改变自有测试台负载为run内单连接loopback,再与同版本外网对照;按IFF_LOOPBACK固定标志区分,不依名字/接口子集拟合。所有原生快照与Sysmontap原对象/尾部先保管,缺端点包围保持missing。仅在至少一可评估区间两bytes预测范围不相交,且被支持scope在全部可评估区间无反例,才给有限条件支持;两者都含/都不含或无判别力保持未定,不能重跑挑有利样本。
本次Lab19两条各1MiB,39/40原对象、482原生快照及17源件4230556B全部分离核同E3保管/E2模型。34区间中12missing、22条件可评估;loopback2个bytes预测不相交区间均与真实server接收时间重叠,all零条件bytes/packets反例,nonloop有2bytes/3packets反例;外网两者均兼容。有限支持仅在Hq未证三前提(floor1024实际机制、同高32位、同字节层)及当前源End时钟假设下成立,不能推导物理精度/完整producer定义/精确时钟或解除生产crossInterfaceSumAllowed=false。旧精确模型在两条各8bytes反例仍保留,不以条件包络改判旧失败。
参考完整mean/P95均≤1ms,活跃listener的CPU增量未由reference-only OFF/ON外推。新64封口/idle、128metadata核同,准备槽0、正式容量无;30/66、发送0/5、Gate R未关。来源与完整区间。
2026-10-20 · 先绑定实际调用名,再解释时钟字段
时钟回复字段长相相近或都随时间增加,不能只凭SDK注解、三指针参数或包围关系选择absolute/continuous。缓存中转可能落在主映像TEXT之外,应按实际映射追踪原编码、保留每个unknown,再用同一手机系统原export trie和nlist两路精确地址命名;“准入映射未含目标”不表示所有来源都丢失,也不能猜PAC高位。错误分支函数须单独识别,不能当成第二个时钟读数。
本次静态machTimeInfo三调用由两独立reader核同为mach_get_times、mach_error_string、mach_timebase_info;原参数与返回栈槽对应六项中的第0/3项absolute/continuous、第1/2项numer/denom。固定Apple接口声明与原timebase结构支持候选转换ticks×numer/denom纳秒,第4项timespec秒+纳秒/10^9、第5项时区名;这是静态来源解释E1及离线核对E2,不证明实际Sysmontap回调Start/End取值点、零误差时钟桥或公开XNU实现与实机逐指令相同。不得按观测结果调偏移/漂移或用同源包围替代独立校准。
一次定向只读113786880B缓存,1495原导出/1539 nlist,128旧metadata前后SHA及64封口idle集合核同E3;无新run、无手机写。历史7次回复/12源End包围及Hq模型原条件结论保留,机制适用/高位/同层仍未证,Gate R未关、30/66、正式0/5。适用于本次固定系统和已保管原件,其他版本须重新核映射和导出。来源、公开固定源码与限制。
错误返回与零值边界 · 2026-10-20
原编码常数读取核实timespec转换除数为1000000000.0。字段命名只解释来源,不证明调用成功:mach_get_times非零返回经错误分支后将absolute/continuous两个输出槽清零,不能把这两个0当合法启动时刻;后续timebase调用的返回状态也不能仅由字段shape判断。未来参考准入须拒绝无法证明有效的零tick/零denom与异常转换,原回复保留,不回填0或用补偿拟合。本批未新增参考采样或修改产品缺值语义。
2026-10-20 · 回调时间与采样时间要区分
表现:按回调End包围原生参考点,并不保证该点与底层累计计数的读取时刻重合。实机固定DVT代码中,system request回调读取mach_absolute_time并捕获给后续handler,x3 Start来自上次保存时间、x4 End来自本次捕获;handler以StartMachAbsTime/EndMachAbsTime键写出,并将下一Start保存为本End+1tick。应核注册block、捕获槽、参数、ivar初始化/更新和字典键全链,不只看字段名。1281原编码与第二71关键位字段/11 slide3/3处精确符号核同E1/E2;未证明sysmond/内核采样时刻或延迟界,不能拟合时钟偏移让旧样本通过。
底层sysmon_table_get_timestamp虽存在,但本次仅证table+0x10字段getter,字段类型、来源、时钟及DTX访问未定;Timestamp字符串本身不能确定单位。networkInformation尾调接口名映射,也不自动提供bytes真值。避免按方法名推导计数能力或调用大量未知selector;仅在有scope/原字段/时钟与独立证据后准入。适用本次固定系统/原件,其他版本重新绑定;来源和失败保全。
2026-10-20 · ifmib64是新参考候选,host成功不代替iOS
原getifaddrs/IFLIST与IFLIST2可共享rtsock量化/uint32截断路径,仅改结构名不解决低10位/高32位问题。固定Apple源码另有IFMIB_IFALLDATA/IFDATA_GENERAL,经make_ifmibdata与if_data_internal_to_if_data64复制64位原累计;所读路径未见ALIGN_BYTES。可先在host探针验证实际ABI、只读MIB和原blob,再单独验证iOS沙盒,不由公开代码推导平台权限。
本次host MIB=[CTL_NET,PF_LINK,0,3,0,1]两次只读,5940B/33记录,实际record180/align4/dataOffset52/data128、bytes和packets字段8B;独立原blob读取核同,30个bytes字段低10位非零、6个字段高32位非零。仅E2 host候选,单点0.000590秒不代表20Hz参考mean/P95或iOS可用;iOS失败/零长/ABI变化须保留原件并拒绝,不降级冒充64位。接口的可用性、拓扑、重置、范围和字段读取窗仍须独立核;不得由此自动解除crossInterfaceSumAllowed=false或改判旧反例。
下一以独立Lab候选显式版本准入,保留旧getifaddrs与历史;手机现有64记录需先保全及真实容量,不直接开新run。30/66、发送0/5、Gate R未关。固定源码、ABI、成本与边界。
先用一次性能力探针确认64位候选,不直接升级高频参考 · 2026-10-20
问题表现:host可读公开内核ifmib路径,不能据此推断iOS sandbox可读;提前全量替换32位参考会扩大修改范围,并可能把失败的预分配buffer误读为零。当前方式是显式一次性probe,长度和内容最多各一读、不重试,两个返回码/errno、容量/实际长度、SDK字段布局和原buffer一并保留。只有成功且长度完整、ABI/名称/时间/逐字段一致才解析成candidate。失败buffer标记uncertified、行为空,先保管再封口;它不构成有效0。
UInt64原计数直接JSON整数,跨2^32、2^53及UInt64.max不得经Double或32位中转。无ifindex的ABI不伪造index,不自动跨接口求和或推导速率。record180/头52是固定XNU候选布局,SDK实测仅覆盖if_data64128B/align4及字段offset/width;不能把软件常量称真机ABI已通过。一次性模式严格禁用HTTP/stage/loopback和旧高频reference;附件另pin,typed导出不是附件原blob副本,source保管必须单独取附件并核SHA。
本批仅E2:新76及匹配50/58软件控制、host5940B/33记录/231个UInt64字段独立Python核同,19源ARM内部签名候选未安装;host完整read/校验/encode20次mean/P95=0.660338/0.762208ms,较旧路径增加,工作量含blob不相同,不代表iOS20Hz开销。真机须先新鲜保全/升级/实际容量,拒绝则保留且不重发;范围/字节层/精确源窗继续Gate R。来源:Lab20结果。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.31 | 2026-10-20 | 一次性ifmib64探针/失败buffer保管及UInt64软件控制E2;ARM签名候选未安装,iOS权限/ABI/成本待验、30/66和发送0/5不变。 |
host可读不代表手机沙盒可读:ifmib真实EPERM · 2026-10-20
Lab20在设备A/当前系统/既有内部签名entitlements下做一次只读ifmib probe。固定MIB长度sysctl返回-1/errno1(EPERM),内容调用0,buffer与interfaces为空,partial封口并保全6源件/附件pin及typed export。该结果是E3权限拒绝,不能把空数据或长度0写成有效网络计数0,不能静默切回32位参考、不以重试或扩权绕过掩盖拒绝。适用范围只到本设备版本/本签名配置,不声称所有iOS均如此。
判断方法:核真实status/errno及call次数、失败附件与事件先后、封口与source SHA,独立解typed导出并核附件原件;仅host数据/编译SDK结构/软件mock不能证明手机权限。当前手机SDK结构size128/align4已保存,但无原record,ifmib运行时record候选布局与字节层/源时刻仍未获证明。此路线本条件下不能作独立参考,停止20Hz接入;另查已有授权服务仍须先文档化次数/响应限额,返回字段不等于全scope真值。
旧证据完整保全:升级前后2819源件3892690760B SHA核同;只将1条已核准备run保留归位释放1准备槽,删除0,唯一probe后实际64/128metadata且idle、准备槽0。全树stat守恒与全源SHA范围分别标明,probe后没有再次全读2819件,不混称全量SHA证明。当前30/66、发送0/5、Gate R未关。来源:真实拒绝及分离结果。
| 版本 | 日期 | 变更与证据边界 |
|---|---|---|
| reference-qualification.32 | 2026-10-20 | Lab20单次iOS ifmib长度读取EPERM,内容0/无fallback;完整保全/升级/实际1槽及失败原件E3、分离E2,64活动/槽0,指标仍未验。 |
2026-10-20 · 诊断接口数据不自动构成字节参考
现有授权diagnostics_relay固定IORegistry/IONetworkInterface一次请求返回Success及2455B原件,说明该有限通道可读;返回单dict和IONetworkData里的20B/216B统计块,不证明全部接口都被枚举。host SDK中IONetworkStats为5个UInt32包/错误/碰撞字段,不含bytes;它只提供20B候选布局的E1解释,不能认证手机ABI或64位累计字节。以原始Size、Data长度、完整原件SHA和字段定义核对,避免将名称含NetworkStats误认作byte counter,或把全零Ethernet统计解释成合法整机零流量。源读取时刻和全scope同样须单独证明。
本次前后128metadata SHA、64封口/idle/no pending及6资源close核同E3;全树stat守恒不代替全源SHA。软件14反控和直接原件分离核读为E2,未产生正式样本;发送0/5、30/66、Gate R未关。停止此固定请求作为直接字节参考的方向,其他类/系统版本的能力尚未研究。方案 · 结果。
| 版本 | 日期 | 变更与来源 |
|---|---|---|
| reference-qualification.33 | 2026-10-20 | 单次诊断原件可读但无已证整机字节参考;host包/错误结构仅候选解释,保管E3/分离E2,指标未验。 |
2026-10-20 · 统计来源与请求副作用的准入检查
接口counter与连接counter不能只看txBytes名字就互换。固定公开XNU的IFNET源读接口if_obytes;TCP/UDP kernel源读PCB统计,所审UDP发送按prepend前的数据长度累计,userland源又通过callback提供计数。普通TCP/重传、强制probe、分配失败、UDP输出返回值与后续flow advisory存在不同路径,因此一个统一头长修正常量不能证明跨provider可比性。当前手机精确实现/运行绑定未证,这些是E1候选机制,不解释全部历史反例,不生成修正数值。
新增参考前还要查副作用:该固定IFNET lookup指定ifindex/至少1MiB阈值,有权限前置,会修改共享通知阈值并可能通知其他客户,release重算阈值;AddAll watcher为空。存在导出或connect成功不证明只读全枚举可用。权限基类还允许策略拒绝/grant,未审具体MAC策略或手机实测,不能泛称非root必失败,更不能请求扩权绕过。判断方法是核lookup/counts/release及provider注册完整函数和权限责任边界;所有新手机调用仍须独立准入合同。
本次8件固定源/35事实/12完整函数文本分离核同E2,phone0;不是手机权限/ABI或整机参考通过。下一先核真实wire kind/provider区分能力,再决定独立抓包模型或口径决策;30/66、正式0/5、Gate R未关。固定源、行引用及全部限制。
| 版本 | 日期 | 变更与来源 |
|---|---|---|
| reference-qualification.34 | 2026-10-20 | IFNET权限/共享阈值副作用及连接/接口异层候选核同,8源35事实12函数,phone0/指标未验。 |
2026-10-20 · 消息类别与连接kind不提供同一语义
原producer外层tuple kind表示消息类别;SDK的ConnectionDetectionEvent.kind来自内层8列的索引7。不要混用两层的1/2。所审实机原代码从来源描述provider字符串查四项表:索引1为TCP、2为UDP、3为Route,索引0所指原对象缺映射保持missing,未匹配路径写0也不能据此为0命名。TCP/UDP snapshot的传统字典分别写固定协议字符串,内部countsIncludeHeaderOverhead却仍依数值provider分支,因此仅有TCP/UDP kind无法恢复kernel/userland或确定字节层。
复核方法是沿8列构造、slot7单独赋值、provider键原导出/GOT、CFString表与setter/发件路径逐字节核对,避免只凭SDK名字、同tuple/相同kind或样本相关性选层/去重。9根1887原编码/467调用关联及23锚点分离核同E2,静态解释E1;运行绑定、所有版本及全部路径未证。下一须证明查询/回调因果窗并冻结多层保守区间,不能拟合有利偏移/选层消反例。当前30/66、发送0/5、Gate R未关。方案与完整限制 · 结果。
| 版本 | 日期 | 变更与来源 |
|---|---|---|
| reference-qualification.35 | 2026-10-20 | 区分外层kind和连接slot7,原协议字符串丢失数值provider;1887word/467call分离核同,phone0/指标未验。 |
reference-qualification.36 · 2026-10-20 · 查询完成与采样时间
NetworkMonitor名义timer和完成标签不是已证内核读取时刻。固定已保管原件11根1953编码/389branch分离核同E2,静态语义E1:QueryAllSources实际包装queryAllCounts:;有效查询command1004/sourceRef=-1,但invalidated路径可以不发查询就调用completion。完成侧_interval会递增并按经过时钟差取整补跳,countsSeqno是来源计数变化序号,不能自行当作query request ID。timer 1秒/100ms leeway是配置参数,不是实测源间隔/延迟上界。
复现与判断:核原wrapper、有效/失效分支、block目标及序号增量,而非只看API名或输出标签。构造同窗参考必须另证同次请求绑定、服务端实际刷新、全来源scope与provider字节层。未证时保持unknown/missing,禁止按interval拟合源时间、按kind选有利字节层、或用过宽包围宣布通过。适用范围只限所审原件/路径,未证明全部实现/运行绑定;本批phone0,30/66、发送0/5、Gate R未关。
| 版本 | 日期 | 修订 | 来源 |
|---|---|---|---|
| reference-qualification.36 | 2026-10-20 | 区分查询完成、局部序号与实际源读取边界;拒绝未证同窗参考 | 方案 / 结果 |
reference-qualification.37 · 2026-10-20 · 请求context与参考准入决定
问题:请求与success共享context,仍不能直接推出每个DVT wire连接增量都可绑定到同一实际读取窗口。固定XNU公开源码E1中,单条回复填context,aggregate函数清零后未逐条填context;query all可过滤来源、跳过无counts项或省略失败计数,success并无逐来源成功清单。手机原件静态路径E1中,manager用header context匹配completion,source给handleCounts:传的是message+32的计数载荷;不能据此补出DVT wire里缺失的逐来源reference/time/provider。
核查方法:分别审单条/聚合分支、reporting filter、error/continuation、header结构及下游参数,不能只看API名或success。7切片1146编码/241branch、6完整源码函数25事实与两个结构分离核同E2;13关键操作数字段核同。公开内核与手机版本等价、全部运行绑定、独立同层同窗整机参考仍未证;本批phone0。仅限所审原件/路径,不宣称其他版本永久不可实现。
避免方式:保留失败/原始数据,不通过重复采同一省略字段的wire来追求真值;不拟合偏移、删ACK、去重serial、改scope或放宽门。现有ifmib权限拒绝、RVI覆盖/分层、Sysmontap量化/时钟、诊断无bytes、IFNET权限/阈值副作用均未关闭参考资格。当前停止等价重采,发送保持待验0/5,等待新独立参考或Owner明确调整顺序;不增加30/66通过计数。
| 版本 | 日期 | 修订 | 来源 |
|---|---|---|---|
| reference-qualification.37 | 2026-10-20 | 区分协议context与wire逐来源绑定;独立参考缺口总表与待验决策 | 方案 / 结果 |
reference-qualification.38 · 2026-10-20 · 下载负载与指标验收的边界
当前整体30/66。Owner已明确允许发送0/5保留待验后按原序进入接收0/5;接收独立参考Gate R_rx另验,不能因发送待验而把接收视为通过。下载工具本批仅host E2:固定Q正文、独占流式文件及服务账本/SHA能验证自有任务的业务完成量,但不覆盖整机其他流、协议头、虚拟接口与同一源时间窗。不要把HTTP速率直接作为整机接收率分母或校准真值。
问题表现:短正文连接中断时,Foundation可能在transaction报告已读131072B,却没有交付didReceive正文,task计数与落盘都是0;期限也可能先由URLSession以-1001结束,而非执行器产生deadline原因。机制边界是底层读取、delegate交付、文件写入及服务器写成功分别记账;本批不证明其在所有OS一致。复现方法:本地受控服务声明完整长度后短发并关闭,保留transaction/task/observed/written及错误和首响应,独立核文件SHA,不凭期望补成正正文。避免方式:取消/错误保留真实0或部分文件,complete必须同时满足声明长度、固定正文、任务/文件一致和明确资源释放;0正文不能解释为0整机网络流量。
适用与限制:此为实际host Foundation软件E2;手机通道、下载工具成本与整机数值未验。当前接收与发送同受独立scope/字节层/读取时刻缺口约束,停止等价重采,不拟合或放宽门;新证据需事前合同。详见本批接收结果。
| 版本 | 日期 | 修订 | 来源 |
|---|---|---|---|
| reference-qualification.38 | 2026-10-20 | Owner发送待验顺序决定;下载业务完成量、事务/任务/落盘边界及接收独立Gate R_rx | 方案 / 结果 |
reference-qualification.39 · 2026-10-20 · 数据保全与运行准入分别记账
已验证事实:当前设备2826文件3892697597B逐件source/host SHA、全目录及128 metadata分离核同;但读取结束又存在不同的自有进程生命,整体准入失败,原因未证。正常退出信号总计1次,后续严格生命确认只有读取,无第二信号。本批E3限通道/保全观察、E2限host复核,不是接收指标验收。
判断方法:逐文件pins journal、独立host SHA、post目录与metadata证明数据守恒;严格process_key将lookup与完整proclist/executable/启动时刻绑定,分别保存运行门。任一整体门失败仍保留执行completed=false;不要让“全部字节已读”自动生成安装器可接受的准入,也不要据此把已保存文件删除或从头重复读取。进程重新出现只证明观测到新生命,不证明自动重启原因;后续先核人工操作及有限生命周期,避免反复SIGTERM。适用范围为本批固定版本自有工具;不能外推其他App/系统。
| 版本 | 日期 | 修订 | 来源 |
|---|---|---|---|
| reference-qualification.39 | 2026-10-20 | 分离逐文件保全和运行准入;新生命仅事实不归因、不盲重采 | 结果 |
下载正文的独立核验 · 2026-10-20
问题表现:核心manifest有效、任务complete=true时,附件仍可能被替换,或下载证据混入上传路径。核验应同时绑定显式方向、阶段实际任务数、任务ID与独占附件路径,直接流读文件重算SHA与固定Q正文,再核关闭/同步、HTTP长度、任务收件量及唯一networkLoad事务;不能只读取布尔标记。反控应重封核心manifest,甚至同步更新附件SHA后改正文,确保拒绝确实来自独立语义验证;symlink也须拒绝。取消或错误时保留实际观察/写入量和部分文件,不能把missing补0或删失败证据。
适用范围是自有受控HTTP下载的业务正文保管,不证明整机字节层、独立计数源或手机成本。4份真实下载run、22反控及200MiB分离正文检查为E2,手机动作0;接收仍0/5,Gate R_rx与运行准入未关。实施与验证。
| 版本 | 日期 | 修订要点 |
|---|---|---|
| download-custody.1 | 2026-10-20 | 显式方向、真实正文与重封反控方法;E2工具核验不等于整机指标验收 |
取消任务的双端完成量 · 2026-10-20
问题表现:下载取消时,服务端已交给socket的量可能大于手机写入量,甚至server完整而client仅部分。原因是两端缓冲及终止时序不同;不能强行要求部分量相等,也不能用server完成替代client完成。判断时按独占请求ID保留GET方向、requested、server实际sent、client observed/written/附件SHA与两端终态;完整server另核精确长度及已知Q摘要,部分client保留真实文件。此方法适用自有固定正文HTTP工具,不是整机网络参考。真实3下载/4上传任务及合成取消控制为E2,手机成本未验;来源执行器记录。
| 版本 | 日期 | 修订要点 |
|---|---|---|
| download-custody.2 | 2026-10-20 | 动态容量与双端取消量边界;E2执行器不签发真实容量,不改变接收0/5 |
控制通道容器与生命周期准入 · 2026-10-20
问题表现:固定SDK的DeviceInfo.proclist实际可返回NSMutableArray,虽为list子类,type(value)is list会拒绝合法返回。应先保存有界类型/长度及完整列表,用isinstance兼容SDK声明的容器,再严格核唯一bundle/可执行名/PID/起始时间;不能因放宽容器检查而放宽身份。失败前未保留的原件不能事后补称已保管。三次真实返回各543进程的容器事实为E3,源码和独立读取为E1/E2。
同一自有进程持续存在不说明启动原因;仅DeviceInfo观察也不证明此前bundle lookup曾导致启动。安全退出仍需新鲜全部封口/释放、无pending、同生命、持久化意图和一次SIGTERM,出现新生命即停。退出后空闲只证明观察窗口,不能用来覆盖旧全源保全失败或直接生成容量/安装准入。本次≥10秒空闲成立,但Lab21未安装、接收0/5;适用自有测试台恢复,不是对客户App的控制要求。证据与限制。
| 版本 | 日期 | 修订要点 |
|---|---|---|
| lifecycle-custody.1 | 2026-10-20 | 原生list子类、完整生命及空闲/全源门分开;E3观察不证明启动原因 |
失败副本复用与新源证明 · 2026-10-20
全源执行最终运行门失败时,已逐件完成的source-host SHA仍可保留为复用候选,但整体失败不得改判。恢复后应新连接核身份、真实目录/全部封口/无pending/严格空闲,重新流读每个source并与独立host SHA相等后复用;旧路径、大小或mtime相同仅是候选选择条件,不是正文证明。新批还核完整post树、初末metadata与idle、关闭结果及source pins;只有独立审核全部原件后才能生成新快照收据,旧失败永留。
此方法在自有测试台新批2826件3892697597B、0新增备份中成立(E3源读/E2独立host复核);减少磁盘复制,不省略真实源读。空闲、全源快照、安装准入、真实容量与独立整机参考分别核对,不能用任一布尔值替代其他门。日期规范化要另留原始树和各自哈希,不能悄改原件。结果与限制。
| 版本 | 日期 | 修订要点 |
|---|---|---|
| lifecycle-custody.2 | 2026-10-20 | 失败副本候选与新源快照分开;E3新保全不计指标通过 |
reference-qualification.39 · 2026-10-20 · 无参考标记与实际异常测试
Owner允许确认当前无可用独立对照后,实际测试没有异常即可记测试通过,并标记NO_REFERENCE_OWNER_REVIEW留待最终独立验收。参考可在自有App构造时须先设计/实现;业务量仅能对账自身任务,不能代替整机字节。相同原始输入独立重算能核公式而非系统精度。不得用空数据、全缺值、只安装或host软件通过替代真机异常测试;历史30/66、网络旧0/5不直接改判。判断步骤及网络用例见规则、用例。
Lab21一次覆盖前后全2826源件SHA/树与新postflight核同E3,说明测试环境/保管,不说明发送接收率通过。安装器兼容list子类但仍严格完整生命,先保全原列表、fsync独占意图再写,Unknown升级不重试。历史源码按冻结副本追溯,不因工具后续更新而回改旧证据。完整失败与适用范围见结果。
| 版本 | 日期 | 修订要点 |
|---|---|---|
| reference-qualification.39 | 2026-10-20 | Owner无参考标记规则、网络业务用例与精确参考分开;尚无新增测试通过 |
| lifecycle-custody.3 | 2026-10-20 | DI-only一次覆盖/post源journal及独立新postflight;E3安装不计指标通过 |
2026-10-20 · 无参考测试的源绑定与资源边界(reference-qualification.41)
问题:启动期sysmontap null记录不应当成network测量;保存所有无关原对象会使离线审计超内存。只允许首network完整桶前、原sysmontap序列/时间/身份对应、null/missing-source/无窗口的精确声明,独立计startupMissingDerived;不贡献可用点。其余跨源、晚期或非null声明拒绝。完整原流仍逐行读取,只保存核验必需的前置元组;不靠削减分母或升高预算通过。metadata-only缺失与真实更新零值须区分;partial尾仍保留且不发表。独立重算验证公式与消费者一致性,不证明系统准确度。固定历史三流35.80MB两方向验证仅E2,新真机测试仍0。实现及保留失败。
版本历史增量:reference-qualification.41,2026-10-20,补前置声明/完整尾部/有界分离审计方法;历史结论不改。
2026-10-20 · 上传确认等待与业务参考边界(reference-qualification.42)
表现:手机已发送正文但约5秒报URL超时,服务端在16秒完成正文/SHA。固定5秒request闲置超时与1MiB/64KiB每秒的慢确认不相容;resource deadline更长不会自动覆盖request闲置超时。复现应核双端正文、真实时间、请求/资源两种timeout与URLSession metrics;服务端记200也不代表手机已收到确认。先修测试台并重跑完整用例,不能把未完成负载解释为整机指标无异常。Lab22采用min(remaining,max(5,bytes/serverReadBytesPerSecond+2)),绝对deadline仍生效;host旧5秒失败/新16秒成功和取消已验证E2,iOS修复未验。整机DTX与HTTP正文的scope/层级/窗口差异仍在,业务确认不能当整机真值。来源诊断与修复。
版本历史增量:reference-qualification.42,2026-10-20,补上传慢确认超时诊断、双端成功边界及当前修复证据;30/66/新增标记通过0,历史数字不变。
2026-10-20 · 业务成功、诊断与指标测试分层(reference-qualification.43)
Lab22已在当前手机实际完成140秒/六任务91MiB,双端正文与SHA/HTTP确认成立,证明慢确认用例修复可用(E4限定该场景)。同时原始DTX/派生/sample的120固定机会有效、全部消费者一致且无已识别异常;仍不能把HTTP正文当整机同层同窗真值。诊断仅准入新五轮,五轮完成前不标记测试通过。只在当前参考调查确认不可用且正式异常测试全部通过时使用NO_REFERENCE_OWNER_REVIEW,保留Owner最终独立验收,历史正式30/66不变。
重读历史证据时,执行源码SHA应核当时保存的冻结副本,当前新工具另冻结;不能为满足旧SHA把当前源码回退,也不能忽略缺失或损坏的冻结文件。采集失败、主机准入失败与文档追加造成的最终inputStable失败分别保留,分离复核明确实际证据和范围,不回改原guard。详见真机验证与保管。
版本历史增量:reference-qualification.43,2026-10-20,补当前手机慢确认修复E4、诊断不计五轮/指标及冻结源码审计边界;新标记通过仍0。
2026-10-20 · 进程存在不等于测试负载未释放(reference-qualification.44)
表现:测试台正常退出后出现新进程生命,旧合同保守首失败停。判断时保留原列表/出生时间,核同目标spawn、可见性、挂起状态及全部封口SHA/无pending;不能只凭新进程认定人工重开或产品负载异常。本场景E3/E2:120metadata核同,真实日志含系统预热及测试台不可见挂起;预热目标脱敏,只支持预热解释。Apple启动序列确认系统可创建未运行App进程后挂起。避免反复退出或关闭未知系统服务;先设计并验证业务空闲准入,另立新attempt,不拼旧1/5。
归档SizeLimit未限制整个tar,必须有host字节/时间硬限,截断原件不当完整容器。大日志流式解码,本次103357事件由891.55MB降至28.90MB峰值,仅离线资源证据、不代表手机成本。当前30/66、新标记0。来源。
版本历史增量:reference-qualification.44,2026-10-20,补预热/空闲辨别、归因边界及有界日志保管;历史结论不回改。
2026-10-20 · 已封口进程保留与下一轮身份链(reference-qualification.45)
测试台负载已释放时,可以保留其已知进程,避免额外退出后把可能的OS预热作为下一轮业务仍活跃的唯一判据。限定v2测试执行合同:真实当前metadata全部封口/无pending;DI只允许无进程或恰前轮已封口生命,陌生生命仍失败;Start须冷启动且新生命不同、稳定后再URL;尾部再次验证同生命/全封口,不额外signal。初始生命来自已保管DI原件和分离收据,不能由调用方任填PID。
E2已验证策略互斥、日期/元组规范化、冷启动生命不变/未知生命/原DI篡改/前轮错误/未封口等拒绝,以及旧真实诊断消费者兼容。E3仅完成恰1准备记录全源保留rename、真实60→59和240metadata核同;新v2正式轮仍0,不能声称真机五轮或数值准确度通过。适用自有测试台和已冻结内部版本,不推广第三方App,也不声称唯一预热触发方已证。方案与实施。
版本历史增量:reference-qualification.45,2026-10-20,补已封口进程保留/真实身份链合同及软件、保管证据边界;30/66、新标记0,旧失败不改。
2026-10-20 · 非零malformed必须阻止完整速率结论(reference-qualification.46)
表现:新attempt第四轮完整业务任务成立,但聚合窗malformedInputCount=1仍产出candidate速率。原聚合器会拒绝计入非法字节,却未把不完整来源传播到产品质量;故非负且有限的数值仍不足以判断无异常。判断方法:核完整Raw的input/connection/malformed计数,再对同sourceEventSequence的derived质量与数值,不因异常在预热或尾部就删除。主/分离审核正确拒绝,本项未通过(E4失败/E2原因审计)。
当前缺少被拒输入原始字段,不能断言唯一负值、系统sentinel、解码bug或硬件故障。修复应保留有类型的异常记录,污染桶显示null/invalid-window并在下一净桶恢复,禁止用剩余字节冒充完整带宽。网络v8是已定稿修复目标,当前运行仍v7,不提前声称修复可用;source gate仍拒绝malformed。适用于现有整机收发聚合路径,不推广历史已验进程网络。结果 · 方案。
版本历史增量:reference-qualification.46,2026-10-20,补来源拒绝计数与候选值不等于无异常的判定、缺失传播修复目标及未保管字段边界;30/66、新标记0。
2026-10-20 · v8源码与内部候选,不等于真机修复(reference-qualification.47)
v8沿用原整数求和/初始化扣除/完整1秒公式,新增来源完整性:当前聚合必须带整数malformedInputCount;非零、非法或未知inputIntegrityPolicy使整个桶两方向null/invalid-window,污染在同桶分片间保留,下一干净桶恢复。拒绝输入以独立network.device.rejected.raw保留原类型、11字段及接收时刻/ordinal,不参加legacy数值求和;预算不支持必须显式omitted,不能声称完整原件。单记录≤64KiB、来源异常上限128条,额外第129条保留后有界关闭,不采样掩盖异常。
旧未标记且无计数Raw仅历史兼容,不认证完整性;旧v7 checkpoint只在从未使用设备网络时可恢复其他指标,含设备状态时保留Raw并offline-required重算,不把旧不明污染带入v8。旧已保存报告不改。固定两真实Raw的E2复现仅异常窗两值置空,正常312值保持,154项网络/91项聚焦控制与实际44Core模型/导出通过。ARM193开发签名候选解包/318 ARM依赖闭合,尚未安装,完整Python回归仍有待分析失败;当前标准客户端仍Mac192/v7,新诊断/五轮0,历史30/66、新标记0。方案与实施。
版本历史增量:reference-qualification.47,2026-10-20,v8定义/异常证据/旧checkpoint边界及E2候选状态;未宣布真机可用或指标通过。
版本历史增量:reference-qualification.48,2026-10-20,193-r2严格签名/ARM源码及独立解包通过、唯一标准安装与GUI空闲E3;正确入口完整2754及最终小修92控制通过,原异常具体字段仍未知。当前已安装v8,v7仅历史;无新诊断或标记通过。结果。
2026-10-20 · v8诊断严格版本与异常门(reference-qualification.49)
同层参考当前不可得不等于可以忽略来源完整性。主数学和独立分组审核必须各自显式核对版本:历史缺省v7,当前v8每条聚合须带malformed-evidence.v1且malformed精确整数0;未知/混合版本、任何被拒事件(包括初始化和尾部)都不能通过无异常测试。先保存被拒原字段索引再严审,可避免审计失败时丢掉定位线索。产品正确显示null/invalid-window仅说明没有把已知污染当数字,不证明上游来源无异常。
新a02六任务91MiB诊断在内部193/v8得到120/120有效、150实际样本与全消费者核同,拒绝输入0;这是该诊断范围E4,不证明旧异常唯一原因或正式五轮。历史30/66、新标记0、新正式0轮。确认参考不可得后仍需新五轮完整无异常,才可标NO_REFERENCE_OWNER_REVIEW供Owner独立验收。适用于当前整机收发聚合,不重开历史已验指标。来源。
版本历史增量:reference-qualification.49,2026-10-20,严格v7/v8准入、全尾异常拒绝及v8新诊断范围;未计指标通过。
版本历史增量:reference-qualification.50,2026-10-20,v8新独占正式合同和已知封口生命绑定;五条准备全源/导出保留rename及真实64→59只证明容量恢复,不是新指标样本。正式仍0轮、30/66、新标记0。来源。
2026-10-20 · 全尾部峰值与证据回读流量(reference-qualification.51)
整机网络包含测试业务之外的活动,业务限速也只是服务端读写上限,不能据此硬判整机每秒应等于该速率。新v8 attempt-03第一轮全源复查的最大发送聚合为73564264B/完整1秒,位置在ready后148.314–149.314秒,已超出正式120机会的[15,135)窗口;正式机会最大发送值为10819359B/s。原聚合23条有效更新、无初始化累计、malformed=0,原source及typed导出保留,不能删掉这条尾部峰值或拿它增加正式机会。
同批手机证据文件复制的host mtime约位于ready后145.079–147.277秒,之后仍有源SHA回读。它与高峰时间相邻,提示取证传输本身可能影响整机流量;mtime及结束双时钟桥仅提供近似上下文,没有保留每次回读的绝对起止时刻,也没有该峰逐连接原件,因此尚未证明唯一因果或单流归因,不把该推测写成已证原因。判断方法是先追溯原始完整聚合、初始化扣除、窗口/来源/异常计数,再对照业务与取证阶段;当前所有窗口数值一致不替代独立物理精度参考。
避免把host证据读取提前混入正式机会、把窗外大值当业务吞吐,或用删尾部/加分母美化结果。后续若需要定量归因,应另有事前合同、同层独立来源和完整逐流时钟;现有峰值上下文报告只为Owner审计,不认证参考准确性或整项通过。适用当前整机收发及原件回读链路,E2只读分析真实E4第一轮;历史30/66、新标记0、当前新五轮仅1/5。来源。
版本历史增量:reference-qualification.51,2026-10-20,全尾部峰值原字段与取证阶段近似上下文,明确相关性不等于归因;未放宽来源门或标记通过。
2026-10-20 · 拒绝原文已接受不代表可作为数值预览(reference-qualification.52)
表现:v8正式第2轮保留了发送字节None的typed拒绝Raw,但accepted预览白名单遗漏该类型,触发ValueError提前终止。E4证明该次失败;E2用同一1149条Raw在旧代码复现、新代码完整读完。SDK将上游tuple直接构造dataclass,类型注解不会校验或给None补0;发送包数0也不足以证明字节空值等于0。当前不能据此判硬件损坏或合法稀疏语义。
处理:预览接受拒绝诊断记录,但该记录不产生速率;污染完整闭窗两方向null/invalid-window,下一净窗恢复。实际Adapter→record-ahead→OrderedRawIngress→RawSessionRecorder控制核原类型、字节和顺序,防止仅离线engine通过而实时消费者崩溃。accepted仍非durable;失败Session缺完整Core seal必须标不完整,不能以复制SHA成功声称完整消费者链。适用于当前整机网络v8,不改变历史已验指标公式。
版本历史增量:reference-qualification.52,2026-10-20,52针对性软件控制与内部194安装仅E2/E3;新诊断/五轮未通过,30/66、新标记0,旧attempt永久1/5。来源。
2026-10-20 · 失败Session与已释放测试台生命周期分别核对(reference-qualification.53)
产品采集提前失败后,Lab业务可能已完整结束;失败产品Session缺Core完整seal,不能作为完整前轮。可保存显式失败胶囊,独立核原Session源/副本SHA、Raw冷启动生命、末两原DI、全部Lab附件和释放状态,只恢复“已知自有生命来源”。新鲜手机准入仍必须重新核实际集合/全metadata、no-pending、至少10秒两次同生命或缺席与新名不存在;陌生生命仍拒绝,不靠反复退出让测试继续。
SQLite只读连接mode=ro也可能在副本旁生成-shm/-wal;审计不可变副本应使用mode=ro&immutable=1,并先确认来源已停止写入。发现副文件保留旧目录,重新从未变源核SHA复制,不把副文件并入原件清单。E2已证本次工具副作用及源未变,不能推广所有活动SQLite适用immutable。56控制/16真实反控仅软件门,不证明新手机准入或数值准确性。
版本历史增量:reference-qualification.53,2026-10-20,失败胶囊/新鲜准入与SQLite副本边界;30/66、新标记0。来源。
版本历史增量:reference-qualification.54,2026-10-20,内部194新诊断E4限定本次140秒/六任务91MiB:120/120有效、153样本、拒绝0及全消费者核同。它不能证明None上游语义或替代正式五轮;旧失败及其1/5保留,30/66、新标记0。新三槽保全/正式schema4的软件102控制只E2。来源 · 后续。
版本历史增量:reference-qualification.55,2026-10-20,三条历史准备记录15件/三导出141093B全源保留归位,真实62→59、248metadata/journal与DI独立核同E3/E2;恢复槽位不释放磁盘,不代表正式容量或数值通过。新schema4仅绑定194/恰3保管,102软件与10真实合同反控不替代新五轮;30/66、新标记0。来源。
2026-10-20 · 无参考测试与最终验收分开计数(reference-qualification.56)
确认当前没有合格参考时,异常测试通过只能说明本次来源、连续性、完整性与消费者一致性达到事前门槛。应同时保留testPassed=true、metricAccepted=false、ownerReviewRequired=true及NO_REFERENCE_OWNER_REVIEW,不把业务SHA或同源重算升级为整机准确度校准。确认方法:固定当前参考候选矩阵及用例SHA,逐轮读取全Raw/数据库/实际消费者和导出,最后独立核五个新Session、全部冷却与新鲜容量;缺轮反控须拒绝。
本次内部194五轮共600有效/600完整槽、595正值,最大gap1秒、来源违规/异常0;正式已验收30保持,新增带标记测试通过1,测试已完成31。适用于当前设备/权限/工具与本次v8发送方向,接收方向仍单独验,出现新的独立参考后优先重新设计有参考对照。来源。
版本历史增量:reference-qualification.56,2026-10-20,发送新完整五轮与独立总审E4限定异常检查通过,NO_REFERENCE_OWNER_REVIEW待Owner独立验收;不宣称精度校准,历史失败与数字不回改。
2026-10-20 · 准备收据的输入身份与实际副本(reference-qualification.57)
同一metadata复制到新目录后,文件内容SHA可以相同,但包含path的custody JSON整体SHA通常不同。容量收据应分别绑定调用方输入custody与实际源读取副本,并逐名称、文件、字节SHA及完整集合核同;不能为让两份JSON相等而回改原pins或把host子集当手机枚举。本批20项合成软件控制覆盖完整新入口及独立读取,17项真实已保管合同反控仅E2,未生成接收真实容量。
工具保持已封口生命进行原件读取,下一新行为前才对再次确认的同一生命正常退出一次,能避免把主动退出后的长读证据空窗误当永远空闲;未知生命仍拒绝,不能循环退出消除门禁。当前此新策略只经软件控制,E3手机尚待;取消、错误和关闭失败都保留原件,工具通过不等于指标通过。来源。
版本历史增量:reference-qualification.57,2026-10-20,接收Lab22四行为/只读容量与分离审核E2,输入与实际custody双身份;正式30/66、发送标记1,接收新手机0。
2026-10-20 · 下载业务资格与整机准确度分别记录(reference-qualification.58)
当前Lab22的正常/OFF/取消/恢复已实际执行并全原件分离核同(E3准备资格)。正常、OFF和两个恢复任务各完整1MiB;取消文件196608B保留。用双端请求/固定正文/文件同步关闭/SHA证明任务实际完成,取消两端部分字节可不同,不能强制改成相同量。利用原始begin/end/firstResponse ticks及实际machNumer/machDenom计算业务延迟;这些HTTP正文延迟和吞吐只描述自有任务,不覆盖整机其他流或协议头,更不能换算成网络准确度误差。
准备阶段没有启用不可读整机接口参考;referenceCostGatePassed必须为null,OFF命名不构成新的参考开销验证。四行为后的64活动集合也不是正式容量;后续须从已核封口生命、完整附件和导出建立新合同,再保全所需名额及真实枚举。不要把活动归位当删除或释放物理存储,四旧准备保全归位后源字节全部保留。当前接收诊断/正式0,不新增NO_REFERENCE_OWNER_REVIEW。来源:真实四行为与分离审核。
版本历史增量:reference-qualification.58,2026-10-20,新增下载四行为E3限定事实、正文参考边界、取消原件/容量/开销null语义;正式30/66、发送标记1不变。
2026-10-20 · 从准备四行为继承已知封口生命(reference-qualification.59)
准备工具与正式Session的生命来源不同。准备行为通过原DI、一次正常退出意图、launch返回及双封口观察核对;诊断/正式Session还需受控冷启动Raw与完整Core seal。进入新接收诊断时必须重读四行为完整原件/导出/动作journal,核实最后recovery释放后双原DI,才能允许这一生命或持续缺席。不能沿用更早发送r5的PID,也不能把相同PID当作相同进程生命。陌生生命或集合变化停止,不能用ProcessControl查询或signal“整理”现场。
容量输入custody与新源副本路径不同,分别绑定原custodySHA及actualCustodySHA;两者逐名称/文件核SHA,不要求两个带path JSON哈希相同。接收专属schema仍显式核对,再调用共享字段检查,不把它写出为发送容量。当前16软件/20真实已保管合同反控仅E2,尚无新容量或诊断。来源:诊断方案与实施。
版本历史增量:reference-qualification.59,2026-10-20,准备末生命与受控Session生命区别、容量双身份、方向合同独立;正式30/66、发送标记1不变。
2026-10-20 · 大下载诊断与正文速率边界(reference-qualification.60)
当前新140秒接收诊断六任务91MiB完整,固定120机会全部有效/正值,来源违规和已识别异常0,159实际Core样本及全部Session/SQLite/导出分离核同(E4仅诊断)。其慢速1MiB、四并发10MiB及50MiB真实下载覆盖首响应、并发/大附件、恢复和完整资源关闭;1个尾片仍保留,不从固定分母中删除。诊断ready不能自动变成五轮通过或Owner验收。
分段HTTP正文吞吐可能略高于配置限速:配置按服务端发块间隔约束,首块立即发送,任务duration从请求起到终态,并非精确N块全周期。判断方法是核正文长度/双端账本/真实ticks、首响应和调度方式,不能用requestedBytes/名义30秒或强制等于限速来“校准”整机网络率。该机制是本地可控业务解释,不能外推为整机同层同窗参考或参考误差。当前first-response13.738–39.942ms和完整业务量保留在来源记录;I/O峰未证unknown。
后续正式五轮以本次新冷启动Raw/原DI及完整封口生命为起点,不能继续用更早的准备recovery或发送末生命。当前活动59是已观察诊断终态,正式轮仍需新鲜真实容量及全部metadata核同。来源:接收真实诊断与五轮方案。
版本历史增量:reference-qualification.60,2026-10-20,新接收诊断E4限定事实、正文速率/源窗口边界及新冷启动生命;正式30/66、发送标记1不变。
2026-10-20 · 五轮容量与生命周期链逐轮重核(reference-qualification.61)
诊断终态59条已保管metadata仅是下一轮预期集合;每轮仍须真实枚举、全部源SHA核对、no-pending、10秒双DI及精确导出增长,不能把host模板写成实际容量。容量调用方custody与实际副本分别绑定,正式采集首DI还须等于本轮容量生命;后续只继承同attempt前轮已审完整封口,双时钟均满600秒。末审重新读取全部五组原件和实际消费者,不能仅看五个roundPassed。
当前15软件控制和22真实诊断合同反控仅E2,无本attempt手机调用或新容量。加载器错误保留为失败证据,修加载器不放宽生产门。出现陌生生命、缺轮、复用诊断Session或错误导出增长即拒绝;五轮完整通过前不新增无参考标记。来源:接收五轮实现记录。
版本历史增量:reference-qualification.61,2026-10-20,接收专属软件门与容量/生命/双时钟链审查,接收正式0/5,正式30/66、发送标记1不变。
2026-10-20 · 当前方向有字节不等于现行整窗输入完整(reference-qualification.62)
接收新正式attempt首轮再次出现tx_bytes=None而rx_bytes=29的上游记录。E4事实是字段缺失及v8当前规则触发;SDK类型注解不验证或补零,tx_packets=0也不能证明缺失字节为零。现行聚合在任一方向字节无效时拒绝整条,两个方向闭窗置空;独立审核拒绝该Raw,因此接收仍未通过。客户端预览修复已使本次Session完整封口,不代表输入异常已解决。
排查时分开记录“源字段缺失”“产品是否完整保管/置空”“正式异常门是否通过”;不能通过重采直至遇不到缺失来证明语义正确。方向隔离只是后续研究方向:若保留接收字节,必须先证明接收自己的完整计数与有效性、未知形状/时钟/来源的污染边界,并同步聚合、窗口、引擎、所有消费者、公式与两套独立数学。尚未实现或验证,不能说可以安全使用该29字节,更不放宽当前冻结attempt。来源:首轮失败及取证。
版本历史增量:reference-qualification.62,2026-10-20,接收attempt-01首轮封口但正式异常门失败,永久0/5;正式30/66、发送标记1不变。
2026-10-20 · 方向独立计数须有完整来源与独立质量(reference-qualification.63)
单侧字节缺失时,不应从包数或对侧字节推断缺失侧为0。一个可审的方向隔离模型应独立记录两侧valid/invalid/initial/eligible计数和字节,并满足input=connection+metadata+unknown、valid+invalid=connection、valid=initial+eligible及totalBytes=initialBytes+eligibleBytes;未知形状或无效时间/连接序号同时污染两侧。代数可以被伪造的0平衡,必须再与原始记录逐项核同。当前E2两份独立模型、11组/400序列及128组融合原型支持该设计,不证明整机准确度或产品v9已可用。
性能也要在真实执行路径验证:另跑一遍方向模型使正常聚合耗时约1.755倍,融合复用已有计数的原型约1.032倍。前者已否决,后者仍缺产品溢出处理/结构拒绝诊断、窗口/恢复/消费者全链;不能以原型快就提前关效率门。当前已安装仍194/v8,旧发送标记及接收失败结果不变,原始数据不重解释;未来新policy/公式须另包、新诊断和完整五轮。来源:方向隔离方案与研究。
版本历史增量:reference-qualification.63,2026-10-20,新增方向守恒/独立质量与融合效率研究,仅E2,产品v9尚未实施;正式30/66、发送标记1不变。
2026-10-20 · v9产品方向合同与可复核边界(reference-qualification.64)
显式directional-input.v1才适用v9:每个1秒完整桶按方向求eligibleBytes之和(单位bytes-per-second);valid+invalid=connection、valid=initial+eligible、totalBytes=initialBytes+eligibleBytes,input=connection+metadata+unknown,并核旧计数与typed拒绝原文。字节为0..2^53-1整数,排除bool/float/字符串;time与连接序号先验证结构。只有自身字段无效时仅自身invalid-window;未知形状、结构、时钟、来源或丢输入则双侧置空。合法eligible零才可输出0,metadata-only missing、仅初始化warmup,未闭尾保留;null清对应实时值与窗口,下个净桶恢复。独立质量不代表对侧异常可删除,跨方向异常完整单列。
原生产者byte字段和v8路径保留,旧Raw不重解释;schema5存两方向窗口与policy/source,旧活动网络状态不提升、空网络状态可迁移,同源混policy持续invalid直到变代。查询来源为pymobiledevice3 NetworkMonitor的DTX networking,经自有DirectionalNetworkBurstAccumulator/DirectionalNetworkRateWindow,不是业务正文或RVI包长直接换算。
已证E2:429原输入数学、80记录窗口序列、2768全量/120最终聚焦及真实44Core/Codable/CSV/JSONL;实际Adapter→accepted→durable writer→Raw/派生重放与对应方向值一致。对照性能必须包含完整封口fsync;只采append会漏封口内核写入,不能将探针0误称没有I/O。120万输入/1200窗的基线与候选三次中位1.1353倍,每窗额外448B;短区间内核记账率不是介质带宽。ARM195已单址内部安装E3主机,仍缺新v9手机诊断和全新五轮,不能声称指标通过或精度校准。
版本历史增量:reference-qualification.64,2026-10-20,产品方向合同/兼容/全链与性能方法,内部195主机E3;正式30/66、发送标记1不变。来源:实现与验证,不可变快照。
2026-10-20 · 方向异常必须覆盖尾片与终态收据(reference-qualification.65)
完整窗口公式一致仍不足以排除尾部异常:未闭尾虽不生成速率,当前方向的invalid/unknown或跨片精确整数累计溢出仍须单列并阻止测试通过;对侧缺失保留原typed证据及影响方向。来源收据不能只看balanced=true,必须重核所有聚合含尾的两方向字节/invalid计数、初始化/旧v8计数及drop=0,并检查final/manifest收据一致。订阅前v8空锚只能是原sysmontap无值/无窗,不能接受旧有值或混policy。
处理完整大Raw可流式解析所有记录,仅对非本指标记录保留身份/序号头;磁盘原件不删改,当前网络payload和拒绝原文必须完整。独立数学与主数学各自扫描/计算;按单调序号分配异常证据,避免每桶重扫大文件。18控制、34真实已保管来源合同篡改及35MB软件规模双读约0.34秒支持该审核方法E2;该规模使用新软件fixture加旧未变辅助payload,不是历史重判、新手机数据或整机准确度参考。
版本历史增量:reference-qualification.65,2026-10-20,新增尾部异常/跨片溢出、终态收据及有界流式审核;新v9手机诊断/五轮仍0,30/66与发送标记1不变。来源。
2026-10-21 · 方向隔离的真机判读边界(reference-qualification.66)
ARM195新v9诊断E4首次验证:接收120固定机会全部完整有效且正值、当前方向异常0;同次Raw中对侧拒绝1仍保留完整typed证据。判断须从方向有效性、原始字段、完整计数、双数学和三份终态收据逐项核同,而不是仅看当前预览有值。对侧异常不能补0或隐藏;结构/时钟/未知输入仍污染双侧。该结果支持本次诊断中的方向隔离,不外推为任意手机、整机准确度或五轮通过。
准备采集前,UI未选设备会在Start之前被精确身份门拒绝;设备选择后产品空闲prewarm是既有设计,不能仅用“出现Sidecar”判断已开始Session。应同时核播放状态、进程参数prewarm、来源与实际Start/URL意图。截图辅助只服务产品预览,不作为指标真值。新诊断ready后仍要真实容量与新的完整五轮;当前正式30/66、发送标记1、接收正式0/5。
版本历史增量:reference-qualification.66,2026-10-21,v9诊断E4限定事实、对侧异常保留与UI/预热准入判读。来源:实际诊断与失败保留,不可变结果。
2026-10-21 · 附件保全与初始容量证明(reference-qualification.67)
下载附件与上传附件具有不同命名及大小边界,保全不能只认五个核心JSON/JSONL。应从已封口源的完整文件集合及原manifest、另行保管的全部附件pin和原导出核同,再流读源SHA,rename后再次核集合及每个SHA;导出保持原位。当前两项准备25源件和两份导出共161795136B、244 metadata及全部原DI/journal分离核同,真实61→59、rename2/删除0(E3)。归位释放的是活动记录槽位,不释放物理磁盘空间;这些原件仍供审计,不能删除。
初始集合证明必须从当前新诊断末集合减精确归位名单重算,不能把历史59或本机模板视为新鲜容量。控制中发现替换报告路径后应先拒绝精确路径,再读相邻日志;来源pin仅传path/sha256,观察对象另带life不能通过放宽pin形状解决。新v9正式34软件及35真实诊断/保全合同反控仅E2,实际新五轮仍0。来源:保全及正式软件记录。
版本历史增量:reference-qualification.67,2026-10-21,完整下载附件/导出保全、槽位与物理空间区分及精确路径先验;正式30/66、发送标记1不变。
2026-10-21 · 接收完整五轮无参考异常测试(reference-qualification.68)
当前接收新v9完整五轮及最终原件/双数学/实际Core/全部导出重审通过,600/600有效、当前方向异常0;对侧异常1完整单列、1尾片保留。五轮与总审不能替代独立整机同层同窗精度参考,状态为testPassed=true/metricAccepted=false/NO_REFERENCE_OWNER_REVIEW,需Owner独立验收。正式30/66、标记2、测试完成32/66。每轮新容量和四个双时钟冷却在原封口链核同,不用诊断或旧v8失败补轮。
版本历史增量:reference-qualification.68,2026-10-21,接收限定E4异常测试通过及参考/Owner边界;来源:完整结果。
| 版本 | 日期 | 当前状态变更与来源 |
|---|---|---|
| acceptance-owner.1 | 2026-10-21 | 发送/接收正式验收通过,取消待Owner复核;保留无独立精度参考限制。决定 |
版本历史增量:2026-10-28,第二轮内部试用口径、来源及报告边界更新;E2/E3与待测E4分列。第二轮方案与实现。