validationP4E2partial2026-10-07

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.py L415，行文本SHA e1f7dab093129fd9ce450bcca05bde070745a614f2485a3f8a0c0fd500e9408f。
Gauge收包时间：MacApp/Sidecar/perfowl_collector_core/metric_engine.py L288，行文本SHA bb3c94109d4ef6eb65290640c4ef9945076978084e73e9cc7a2585ef3fd3cc33。
counter设备末时：MacApp/Sidecar/perfowl_collector_core/metric_engine.py L656，行文本SHA bf56d40f29ad2b7a2fbf5966b4cbc3caa2c825f9799bb8c8360e53a59ce5a6eb。
SDK Tap：MacApp/.sidecar-build/venv-py312/lib/python3.12/site-packages/pymobiledevice3/services/dvt/instruments/tap.py L72，行文本SHA 74337cac25630f167bcf1a91f1bc0188c2d2a704ab2bdbdbcf30cc53ca76df94。
DTX DATA：MacApp/.sidecar-build/venv-py312/lib/python3.12/site-packages/pymobiledevice3/dtx/channel.py L180，行文本SHA 2d6ca930858666497afde02ea9d0a84bbcefc44f8841ed187041325f4775e193。
Reference：fixtures/ios/PerformanceProbeFixture/PerformanceProbeFixture/PerformanceProbeFixtureApp.swift L1818，行文本SHA c306d1c98238355a5b8afba08ffaa5c4fe087eb55c25aa449be869ed786e3389。

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，再单次站点构建，不回改旧归档或采集。