外观
G86 · Physical Footprint 真实采样时刻与 procAge 的只读核验
1. 目标与基线
Owner授权同一AI制定、执行及自复核,非第三方独立验收。代码基线 1158273;G85已封存:同代独立参考9000条成功、源固定120槽连续/候选有效120/120,观察范围误差116/120。三处跨动态阶跃测窗的冻结误差带交集为空;第四处准备窗失败也保留。原54项、首项正式五轮0/5、完整准备窗口、2MiB或5%误差门均不变。
本批调查:包起止时间是否就是Gauge读取时间?原生 procAge 能否独立定位读取时间?SDK与当前产品究竟保留了哪些时钟证据?不能从字段名、数值相关或相等读数推导未证明的系统语义。
2. 执行边界与证据
只读G85既有Raw、封口、参考和报告及当前SDK/产品源码,不调用设备服务,不启动、终止、安装App,不采新会话、不重试旧采集、不修改产品、Fixture或冻结验收公式,不新增常驻环境、工作树或网站发布。
所有分析输出在原私有验收根的独占 g86-gauge-time-procage-readonly/,已有文件拒绝覆盖。先登记HEAD、产品/测试源码、SDK关键文件、G85交付封存、唯一已装b126及原v3摘要;结束核对一致。对原Raw单次流式解析并同步核摘要,缓存进程表头,使用实际 RawEventEnvelope.from_record;进程行身份严格同代,不把系统片段当新进程行。
3. 预声明分析,不以结果挑时点
- 统计254目标行的实际字段、包Start/End、
procAge类型/单调性;固定比较纳秒/微秒/毫秒/秒四种单位假设的增量残差,不挑选一个看起来最好的单位当正式定义。 - 计算
EndMachAbsTime × numer / denom − procAge等候选仿射偏移的范围、漂移;即便高度相关,也只证明本轮相关性,不证明进程创建原点、读取API及同一次footprint采样时刻。 - 核源码:SDK Tap是否保留DTX消息的设备采样时间、是否只返回解档payload;产品Gauge是否写有独立读取时点,counter端点是否被误用作Gauge精确时点。源码锚点保留文件/行号/行文本摘要。
- 从已封存四个失败窗独立复算原冻结误差带交集;保留完整254窗和原120槽,不删阶跃、不选最近点、不插值、不扩大容差。记录“包内有相等参考”与“采样瞬时已证”的区别。
- 判定仅限本轮现有传输与源码:有无可验证的Gauge读取时点。若没有,给出具体缺失字段/协议边界和下一种可验证方案,不声称所有设备/协议永远不可实现,也不再采五轮试运气。
4. 资源、停止与交付
串行1;单次分析≤30s/128MiB,外监督≤45s/160MiB;Raw≤32MiB、单行≤2MiB、事件≤1024,参考≤8MiB/9001条,源码与已封存机读件小型处理。有界流式哈希与解析、O(R+P+S)时间,进程摘要O(P)、参考最多9001,复算原报告不重复解码大blob。记录wall/CPU/RSS/读取字节/吞吐与首结果,I/O物理峰未知写unknown;超限停止且失败原件保留,不原样自动重跑。
输出只读报告、逐目标行时间诊断、四窗误差交集、来源锚点、原件未变及非自引用封存。结果追加本页并联动逐项ledger、总目标、handoff、Canonical知识页/总览、首页状态、时间线与未关门表;新增HTML归档,冻结正文后站点构建≤300s/3GiB,零死链、归档dist字节一致,不部署。
窄提交;GitHub/GitLab各一次推送,GitLab失败不重试、不阻断产品工作;Webhook单次。唯一已装b126保持,内部暂不公证例外不等于正式发布;GPL/正式公证、电学温度缺独立仪器、A1OPEN/HybridFROZEN/G9OFF均保留。全54与五轮目标保持active,不把只读时刻研究当指标准确性通过。
前瞻补充 · 2026-10-07 · 支持列与运输元数据不能漏查
只读旧G81封存的A-full配置(约2KiB)与当前SDK DTX channel/message源码,不解码旧大blob、不调用手机。原设备旧支持列74项含 startAbsTime,但名称不证明单位、原点或Gauge采样时刻,当前G85只请求11列未包含它。登记旧封存条目摘要,明确此为旧生命周期能力清单,不是当前手机的再次能力查询。
源码显示DTX DATA消息带 aux_data,当前channel只传 payload_data 给Tap。用真实SDK的 DTXMessage 和 _handle_data 做两个纯主机受控消息的单次测试:改变辅助数据但保持payload不变,检查Tap入口获得的内容是否相同。这只核当前运输保留边界,不代表真实手机aux实际含时钟。补充≤10s/128MiB,独占新输出;不将丢弃辅助字节直接判作产品缺陷,更不凭合成时钟通过E4。
主机工具修正 · 2026-10-07
首受控工具误调用SDK不存在的 set_aux,在消息dispatch前退出(1.423739s/43855872 B);脚本、日志、资源和前置摘要全部保留,不算测试通过。源码核实实际接口是 DTXMessage.aux 属性setter;新独占r1脚本仅修该接口与输出名,再先AST检查后执行,仍不连接手机、不修改SDK或重复任何设备采集。
Validation Update · 2026-10-07 · 不是算术换算故障的证据,采样时刻准入仍缺
同AI方案/实施/自复核,非第三方;本批证据E1源码/E2真实SDK主机控制与既有E4原件重分析,新设备服务调用0、新Session0、产品修改0、正式轮0。仅准许只读路线,不从回放冒充新真机验收。
G86核254内存行/9000同代参考,源120/120事实保持;Gauge实际仍用主机收包时刻,未见独立内核读取时间。procAge的纳秒假设与包末偏移跨度15.736750ms,只证相关。原四失败窗/三空误差交集未变;旧74支持列含startAbsTime,当前DTX DATA路径未传aux。两条可查时间路线,未证实际aux有时钟,正式0/5/54未验。
A. 当前来源明确能证什么
| 项目 | 实测 | 结论范围 |
|---|---|---|
| 原始同代输入 | 508 Raw、254目标行、9000独立参考 | 身份/原值/既有封口全部核,完整254窗保留 |
| 源连续与有效 | G85固定120槽均120/120 | 是本次诊断来源覆盖,不代GUI五轮或全部54项 |
| 产品Gauge字段 | 254条均未设置windowStart/windowEnd;frame时刻均为host receipt | 主机收包时刻并非手机内核读取时刻 |
| 原生包时长 | 31.106292–550.583750ms,中位532.554188ms | 时间包可以跨内存阶跃;未证physFootprint在包内何时读 |
| procAge增量 | 253/253正增量;纳秒假设整体比率0.999925513397 | 相关,不等于字段正式单位/API定义 |
| 末端增量残差 | 纳秒假设−5.353249–+9.091458ms;末端候选偏移跨度15.736750ms,首末漂移9.991416ms | 将End或procAge直接当精确读取时间证据不足 |
| 源码保留边界 | Tap解档payload;channel DATA仅将payload_data传给on_data | 仅已观测payload无读瞬时,不推整个协议永无时间字段 |
预声明四种procAge单位假设全部记录:纳秒与包末增量接近,微秒/毫秒/秒假设残差明显不同,但正式单位、创建原点、是否与footprint同一次系统调用仍unknown。没有据“最接近”选出准确时间oracle,也没用内存数值反推最有利时刻。
B. 误差带数学限制,与产品值准确性分开
对独立观察范围[L,U],原误差t(r)=max(2097152B,abs(r)×0.05),所有可能参考值的共同允许范围为[U−t(U), L+t(L)]。若左界大于右界,单一Gauge值不存在共同解;此时重跑五轮、取整、单位修正均不消除问题。此谓词是对观察范围的保守核对,未将50Hz有限观察自称为未读取瞬时的真实界限。
| 原失败窗相对参考起点(s) | 产品值(B) | 观察范围(B) | 冻结判据 | 交集空缺(B) |
|---|---|---|---|---|
| 4.983035–5.506245 | 30688384 | 30688384–33047680 | outside-some-reference-frozen-band | -1835008 |
| 19.776383–20.307037 | 51758256 | 30557312–51791024 | empty-frozen-band-intersection | 82735044/5 |
| 39.956182–40.498545 | 72828128 | 51774640–72991968 | empty-frozen-band-intersection | 74894988/5 |
| 65.988671–66.529657 | 30262400 | 30262400–72271024 | empty-frozen-band-intersection | 181489604/5 |
第一窗在准备区,非空但该值不对全部观察相容;其余三测窗分别跨触页/释放,有空交集。每个产品值都等于窗内某个真实独立读数,这不证明读取时刻相同或所有时间准确;也没有证据据此判产品数值转换错。全254窗250相容、原固定120槽116相容/失败12、13、33、59保持,完整准备/尾部与失败一律不删。
C. 两条具体剩余路线,不无限模板化等待
- 原生列路线:旧设备G81支持列表74项含startAbsTime,G85产品固定11列未请求。旧配置摘要与原封存相同;此为旧能力登记,非当前再次查询。名称可能是生命周期起点,但未证单位/原点/采样绑定。需要一次有界、同代原生元数据观察核单位与origin,再判是否能提供Gauge时点;只观察静态字段相加不自动成立。
- DTX辅助数据路线:当前SDK DTXMessage有aux_data;channel._handle_data只转payload_data。实际SDK两条主机控制消息保持payload、改变aux,Tap入口收到相同内容。证实本链没有保留辅助元数据,并不证实际手机aux含任何时间字段。既有Raw无法补回未保留字节,下一有界审计应在当前Host transport分发前另存原始aux,不改设备、不改产品算法、不扩样。
这两条路线均未被排除,因此本批没有宣称“协议永远无时钟”。若下一真实原生审计仍无可独立验证Gauge读时刻,则本场景快速阶跃下原独立误差门在现来源下不具备验收证据;明确保留未通过,而非改门、nearest-reference、插值或补0。此限制针对现来源的动态数值校准,不是说稳定采集、其他指标或未来协议改进毫无意义。
D. 来源锚点、守恒与资源
- Gauge:
MacApp/Sidecar/perfowl_collector_core/metric_engine.pyL415,行文本SHAe1f7dab093129fd9ce450bcca05bde070745a614f2485a3f8a0c0fd500e9408f。 - Gauge收包时间:
MacApp/Sidecar/perfowl_collector_core/metric_engine.pyL288,行文本SHAbb3c94109d4ef6eb65290640c4ef9945076978084e73e9cc7a2585ef3fd3cc33。 - counter设备末时:
MacApp/Sidecar/perfowl_collector_core/metric_engine.pyL656,行文本SHAbf56d40f29ad2b7a2fbf5966b4cbc3caa2c825f9799bb8c8360e53a59ce5a6eb。 - SDK Tap:
MacApp/.sidecar-build/venv-py312/lib/python3.12/site-packages/pymobiledevice3/services/dvt/instruments/tap.pyL72,行文本SHA74337cac25630f167bcf1a91f1bc0188c2d2a704ab2bdbdbcf30cc53ca76df94。 - DTX DATA:
MacApp/.sidecar-build/venv-py312/lib/python3.12/site-packages/pymobiledevice3/dtx/channel.pyL180,行文本SHA2d6ca930858666497afde02ea9d0a84bbcefc44f8841ed187041325f4775e193。 - Reference:
fixtures/ios/PerformanceProbeFixture/PerformanceProbeFixture/PerformanceProbeFixtureApp.swiftL1818,行文本SHAc306d1c98238355a5b8afba08ffaa5c4fe087eb55c25aa449be869ed786e3389。
261产品/测试源、4关键SDK源与103份G85旧件摘要一致;已装b126核心、原v3冻结合同未变。额外两SDK源/旧G81配置有独立前置记录;四个数学/解释控制通过,两个真实SDK主机消息控制通过。首aux工具调用错API而失败,修订版使用已核属性setter,全部失败原件保留;该失败不是设备采集失败或产品缺陷。
分析内1.699007s/CPU1.463705s/RSS52281344B/读50906667B/吞吐28.574289MiB/s,首Raw结果1.188871s;外监督1.919296s/52281344B,45s/160MiB内。aux修订控制内0.387946s/CPU0.375119s/RSS43794432B,外0.684347s/43917312B,10s/128MiB内。串行1、不解旧大blob、IO物理峰unknown;没有产品变更,故不将这些成本当产品前后改善率。
下一步G87 · 有界原生时间元数据审计
保持第一metric/完整54/原五轮目标,不跳到第二metric蒙混完成。先在本机用真实SDK验证原生channel入站元数据采样与字段/类型拒绝、关闭与预算控制,再单次只读当前原设备/current76/同进程绑定的native sysmontap元数据观察(计划另落盘)。保留固定完整14消费者原11+3列,再加当前原生明确支持的startAbsTime;原始aux与payload在分发前关联封存,不把host时间当设备读时刻。禁止kill/launch/config写/新Fixture版本/重试或正式五轮;若字段不支持、资源超限、身份或时序矛盾,停止并留失败。实际得到的时间含义还要独立核对,不能凭字段名或拟合即通过。
本批状态partial(准确时刻未证);产品数值/公式/误差不变。首项正式0/5/完整54未验,GUI入口、电学温度缺仪器、A1OPEN/HybridFROZEN/G9OFF/GPL及正式公证门全部维持;唯一b126/唯一测试DMG保持,无新环境/工作树/部署/记忆修改。代码与通知最终结果按本批交付记录,不伪装双端一致。
文档预检口径补记 · 2026-10-07
首次预检误把包含既有历史的整份handoff/索引当作本批新增隐私内容,12个历史UUID形态触发断言,站点构建未启动;新文档及实际新增行零命中,真实敏感字面量整份扫描也零命中。旧历史未修改。HTML严格栈核本身为0错位/0未闭合;私有首排错件文件名含stack-failure只是当时未定位的命名,后续机读诊断明确它不是HTML栈失败。预检、草稿及初冻结摘要保留;修正为扫描新增行和新增文件,补记后重新冻结最终正文与新增HTML,再单次站点构建,不回改旧归档或采集。