G51 全54项冻结容差与参考不确定性误差门
唯一type devlog。Owner授权同AI方案/实现/自复核,非第三方独立验收。基线380dafe/main干净,依据Canonical G51合同与输入pin/最大向量补充。本批没有修改Mac产品、Fixture源码或已签50.1.0,不构建/安装新的产品包。
全54项原定容差已有共用独立精确误差判定工具,35主机控制及旧派生数据交叉复算通过;没有新增手机数据、来源绑定或五轮验收。全54正式验收仍0/54。 数值通过不等于可信数据通过。
1. 实际实现与保真
新增internal/acceptance/frozen_error_gate.py及test_frozen_error_gate.py。一次读取原v3的54唯一ID及scope/unit/definitionVersion/valueKind/tolerance,验证Registry66/排除Startup12、5rounds、120slots、1.0、不把missing/candidate自动校准。v1/v2/v3保持原字节,完整54输出槽保持,缺证据不删除,extra/duplicate ID拒绝,vector最长64维/声明顺序与维度key全匹配,各component单独计算,不均值池化坏core。
申报的scope/unit/version匹配只证声明匹配,不证原系统语义或真实目标;工具runtimeIdentityVerified/sourceWindowBound/independentAccuracyPassed/all54Accepted均不授予。value为有型Int、有限原Float或精确rational,Boolean/string/非finite/缺值/反向范围拒绝;Float用其原二进制精确Fraction,JSON容差则按原十进制字符串转换,不重写测量值来过门。输入数≤4096bit、维度≤64,O(54×64)有界、不构造全Raw或未知无限序列。
2. 全范围保守误差公式
对固定容差A≥0、0≤R<1,t(r)=max(A,R×abs(r));参考范围[L,U]内每个可能r都应满足abs(actual-r)≤t(r)。等价允许actual的交集为[U-t(U),L+t(L)]。两边函数在R<1下单调,包括负值/跨零,区间可为空。不能采用较宽的[L-t(L),U+t(U)],不能取midpoint、有利参考值或把不确定性另加进tol。
每个原metric保留自己原容差,不把电学温度改成5%或把source-native成本改焦耳。源负值合法性、哨兵、return质量及window语义由原来源合同判定,本工具只算数学关系、不自动当合法温度或能耗。enum保留原abs1的数值门,但enumCodeEquality单列;相邻数可以满足数学tol却不是同一码/已知同一含义,不能提升为独立准确性。
3. 控制与旧证据交叉核对(E2)
35/35新主机控制,0fail/0error;0.509245s/CPU0.405672s/过程峰18.328125MiB。直接有理网格逐定义验证正/负/跨零/绝对相对交界,与实现互不调用;54完整原tol/标签、typed数/Float极值/subnormal/uint64、向量坏core/容量/额外缺失ID、申报匹配非身份、enum数值接近非同码、输入不变均覆盖。原产品/旧控制套不重复到绿。
G37现时派生文件739717B/SHA7751da2a…按其既有清单/receipt复算一致;提交的公开记录没有这个完整pin的独立历史根,故historicalImmutableIdentityIndependentlyAnchored=false。本轮G51前置pin与后置相同只证本轮未变,不凭mtime/当前SHA反证历史。
140源pair/两API共280数值谓词与原sourceWithinFrozenToleranceForAllPossibleReferences逐项相同;两API各133个数学true,但原双API整体accepted仍116(旧宽门117保留为历史)。原accepted还要求参考不确定性预算,不能把133数学true拿来替代116或关闭身份/clock/E4门。旧140槽与原accepted逐项留,不读取9000dense原件、大blob或Session。
G50六原主机行逐行以legacy参考值与同份参考区间做内部诊断:OFF3数值准入0、ON3合计26个数学true,其他44metric每row都missing保留。不是产品值与独立参考的准确性对照,不是26个指标已通过,也不是六轮设备测试。首次delta/OFF元数据缺失均保留,工具all54Accepted恒false。
4. 匹配资源与最大向量工作量
| 工作量 | direct定义wall/CPU | 完整数值门wall/CPU | 新/旧wall与首响应 |
|---|---|---|---|
| 全54×120×5组=32400query(vector为1core) | 1.374065s / 0.990761s | 2.963889s / 2.497536s | 2.157022x≤10 / 0.148228ms≤5 |
| 独立64core vector×600call=38400标量比较 | 1.565941s / 1.137147s | 1.647490s / 1.488308s | 1.052077x≤10 / 2.741905ms≤5 |
两段不同工作量独立留存,不把首段1core当64core证明,不重复未改35控制/140pair/六row;5组是synthetic,不是设备五轮。新门比direct多验证申报/形状并输出精确诊断,非等价性能比较、不宣称speedup。新各段≤10s,首≤5ms;普通段outer5.437989s/child4.990199sCPU4.252822s峰21.476563MiB,输入814033B;64core段outer3.663231s/child3.343605s峰17.128906MiB。物理I/O峰与未观测峰风险unknown,工具serial1/64MiB内。
5. 整体状态与下一步
产品258/Fixture16/已装Macb122/G48-G50工具与signed50.1.0不变;旧归档363/G50seal94/完整54旧metric行与v1-v3/五轮1.0/误差/完整准备窗不变。0设备query/安装/新Session/产品decoder/blob/环境/worktree/网站发布/记忆修改;仅站点build、新不可回改HTML/进度两表/质量方法页与范围提交通知,GitLab一次失败不retry。
下一仍是原手机ready(解锁并退出自有测试App)后文档化一次50.1.0安装与identity准入,再同scope同clock/window原生参考与原定固定五轮。独立电学/温度仪器、opaqueEnergy/GPU/热与帧呈现参考仍未关,不删除这些项或把目标缩成10参考量。正式54可信与五轮100%未证明,goalactive/partial;Startup12排除/A1OPEN/HybridFROZEN/G9OFF/GPL分发门保持。