外观
G37 CPU 独立参考的误差准入修复
Owner指定同一AI方案/实施/自复核,非独立第三方验收;依据Canonical G37/R1合同,Git基线41fb58e。只修独立参考工具与自有Fixture漏槽记账,没有改变Perfowl CPU产品数值/采样公式;已装签名公证b121不改。全部54项/固定五轮连续与有效100%及独立数值误差仍未完成。
1. 原因与复现(E2工具反例,不是产品错误)
旧参考准入同时要求参考区间宽度不超过中点5%,以及源值位于参考区间向两侧再扩中点5%的范围;两项相与并不保证源值对可能真值的误差≤5%。合成参考CPU区间9.895833…–10.104166…、actual10.59,旧工具referenceAccepted=true,但对下界相对误差7.0147368%。原反例与源码冻结私有保留;没有把这一工具问题归为真实产品CPU不准。
新判据遵从已冻结v2容差,a=5e-7个百分点、q=0.05。对所有可能参考r∈[L,U]要求abs(x-r) ≤ max(a,q*r),等价于源值必须属于下述交集:
text
admissible source interval = [U - max(a,q*U), L + max(a,q*L)]
reference precision gate = U-L <= ((U+L)/2)*0.05
referenceAccepted = precision gate AND source in admissible interval交集空或原精度门失败仍不通过;零须实上下界均0,源缺值/非法值不补0。旧sourceWithinFivePercentOfBounds字段只保留为旧宽范围诊断,不再驱动验收。明确physicalCalibrationPassed=false和oracle不验证身份/原生时钟;Double记录值的精确有理数算术不证明未取证的内核量化/时钟/API语义准确性。
2. 实际实现与数值保真
internal/acceptance/dense_cpu_reference.py保持原累计读区间,不插值;严格UInt64 tick、UInt32 timebase、≤9001行与有限非负观察,拒bool/逆序/读重叠/计数回退/超限。原Scalar Double通过精确二进制有理数表示。- 首Fraction实现有明显查询成本增加,未作效率收口。R1把有限Double统一到2幂分母的整数CPU units;tick/timebase差分、容差交集、比较均交叉整数乘法,输出按gcd约分,没有查询缓存或改变输出数值。
- 原140配对×2API 280份完整输出字典与冻结Fraction版逐字同;额外9001规模/零/多核/UInt64偏移 192次查询完整输出相同。保持多核CPU>100%,无产品percent缩放。
- 自有DenseCPU首延迟回调同样漏计初始槽,改
last=nil → gap=current;后续max(0,current-last-1)。首slot5/5→8/同slot/slot0断言通过,不补采、不改变20ms频率/API值。匹配主机提取边界只包含实际DenseCPU类,不再混入G35其它类。
3. 旧数据反事实复核(保留完整分母)
原G14A9000条独立CPU参考与原140个来源配对小型文本按原封存清单核SHA,单遍输入7357404B<9MiB;两API9000/9000成功。139个来源有数值,1个缺值完整保留;旧实现重新逐项生成的140个结果与原保存字典全部一致。
新保守判据双API可接受窗 117 → 116 / 140。变化仅sourceOrdinal126(两API都撤回),每个API另有23个不通过与1个source-missing。该结果只改变当下的独立参考准入,不回写原报告/清单,不改历史G15计数,也不把旧22宽参考窗口或新撤回窗说成已证产品故障。旧当时的119/141和126/139历史轮次亦保留,不套本批原G14A140分母。
0Raw/Session/blob读取、0设备动作、新产品Session=0;没有重新核查原源身份/clock/API完整语义,所以物理CPU校准不提升。新机读保留每一窗、原值、界限/精确分数/缺值原因。
4. 验证和性能(E2)
| 项目 | 实测结果 | 边界 |
|---|---|---|
| 匹配与全工具 | Fraction初版20匹配/61完整通过;最终R1同20/61通过,61项0.981s | 首main位置调整后直接入口也运行20项;不是设备精度验收 |
| 旧参考复核 | 0.371604s / CPU0.359300s / RSS23.683594MiB | 单遍原清单SHA匹配;读取前后inode/size/mtime未变是弱旁证,不冒充二次内容哈希 |
| R1输出等价 | 280原配对+192附加查询,0.802533s / CPU0.776836s / RSS33.980469MiB,输入7700280B | 冻结Fraction为语义对照,不是独立物理真值 |
| 实际DenseCPU主机编译 | 13.664083s / child CPU6.951937s | 编译child累计RSS159.105469MiB,单列不套运行64MiB门 |
| 实际主机运行 | functional/codec/byte/write/gap通过,50真实回调/37351B;冷writer1.304077s / CPU0.010128s / 0.776641% / RSS3.351563MiB | 仅本新一次观察,不能代替预声明原五个冷进程或新真机五轮 |
| unsigned iOS opt-in编译 | exit0 / 20.127676s / sourceDrift0 | 已有derived-data,0安装/账号注册,编译RSS110.160156MiB另列 |
| 原benchmark工具 | 首query超覆盖边界assert失败,0五对查询 | oracle正确拒绝;原script/log保留,仅新R1改工具end176000,未改oracle来通过 |
| Fraction版对旧float五对 | 9001构造0.041172s / first query0.195964ms;总4.939280s/RSS15.742188MiB;worst wall16.722579x/CPU16.620043x | 原明显查询成本增加如实留存,没有以绝对门掩盖 |
| 最终整数版对Fraction五对 | 9001构造0.174140s / first query0.084860ms;总22.375032s / CPU9.066885s / RSS18.328125MiB;worst wall0.265606x/CPU0.273878x | 同语义、交错五对各10000;≥2倍优化门通过,无缓存。不同运行不相乘推导最终相对旧float比例;该最终直接比例未测 |
O(n≤9001)构造/O(log n)查询、实际参考输入≤9MiB/120s/64MiB与查询30s/64MiB/构造2s/首query5ms门保持。新的严格谓词与旧宽谓词语义不同,不以它们的性能差值宣称产品提速;没有改G34产品1.3x效率门。
完整controller范围13.664083s编译+1.664778s子运行等,共15.330397s;这是controller入口到子进程完成、最终receipt写前的观测。Python解释器启动前段及receipt写盘耗时没有独立测量,unknown;child RSS为累计高水位不能据159MiB声称实际测试运行峰值,运行程序自身RSS另列。CPU/物理I/O峰值未知不填0。
5. 交付、偏差与整体进度
合同前置、两次源码阶段各自测试与资源实测、工具边界失败/慢版/新R1证据全部保留;旧G35/G36 seal、Mac产品254源码与b121不改。由于只有离线参考/自有Fixture变化,不打重复Mac包、不覆盖已安装版本。知识页更新当前准入公式并保留旧测试历史,overview/Home/index/handoff/状态账本联动;新增归档不回改,站点只build。
本批只关闭CPU参考准入过宽与新Fixture首槽漏记的E2缺陷;不是阶段全54 E4通过、第三方验收或“全部指标已可信”。原设备A入口、设备B用途/外部电学温度仪器条件仍未补齐,GPU live/语义、CPU宽参考窗、动态VM/完整Available、热/Energy、帧scope/独立流量同钟/14统计与正式五轮仍开放。Startup12排除/A1 OPEN/Hybrid FROZEN/G9默认OFF/GPL法务门不变。GitLab每批一次、不重试;提交/远程/通知/封存结果见私有receipt。
知识库元数据收尾核对 · 2026-10-05
源码Registry的本指标使用MetricDefinition默认definitionVersion=2,冻结nonstartup-v2也登记2;知识页旧表曾把算法标签raw-gauge.v1误放进definitionVersion栏。本批仅文档更正为真实2,直接原生CPU gauge/物理校准pending不变,无Registry或产品代码修改。第一站点build48.56s通过时尚未含这处元数据修订,日志和初始未提交归档副本保留私有;新一次site-build-r1覆盖最终知识元数据/新增归档,当前结果只据其回执,不用旧build冒充新版。