G40 等价过滤优化与真实性能门
唯一type devlog。同AI方案/实施/自复核非独立第三方;基线ff4c88a,依据Canonical G40/R1/固定输入和G39已取证热点。复用现有主线/venv,原证据与归档不回改、无新设备/Session/环境/网站发布。
局部源码优化有E2证据,整批partial,不打新包、不覆盖本机b121。 原G38report1.362775x红门没有因本批filter改善而关闭,全54/五轮100%与物理校准仍未完成。
1. 方案、实际代码与偏差
仅display_performance.py的白名单和Census identity两处对精确原生dict用type判断直接进入原Mapping分支,其余dict子类/自定义Mapping/UserDict/属性对象沿原ABC分支。原白名单三字段判据/get覆盖/访问顺序、2048identity cap、全部计数/HostTiming、64消息/active时间公平门不变,无指标公式/算法版/作用域/Raw/质量变化。
G39的isinstance(dict) OR影子在可观察__class__对象上增加一次元属性访问:旧1次、影子2次、值仍true。G40运行前留存反例并落R1合同,最终用type原生精确字典,避免新增访问。原25例影子绿不再被当作所有对象协议等价的证明。patch工具另删EOF空白行,属于无可执行语义的格式偏差,非未披露产品改动。
新增test_display_dispatch_equivalence.py三项:字段/元属性完整访问序列、原生dict实际跳过ABC成本而其它对象保留一次、严格白名单短路。原源先3项/1失败(成本机制未实现,不是原函数业务判据错);新源3项通过。组合匹配124项/0失败/0error/0skip,65.855435s/CPU44.818011s。包括公平/Raw/ingress/display/timing/统计恢复,原三个性能benchmark留在full,匹配不先重复运行它们到绿。
2. 与真实规模匹配的效率对照
冻结原整模块与新模块,在asyncio debug保持、无profile下,固定全拒绝50k与10%合法50k两输入,各五对交错,共十对。每实现处理500000消息、前取25000合法消息;所有payload输出SHA、完整拒绝Counter及核心Census一致。identity cap2048/最大burst64、HostTiming形状与层间顺序检查保持;实际yield数量允许随成本变化,yield原因与总计自洽,不改阈值。
- worst wall新/旧 0.934343213x,worst thread CPU 0.953031824x,全部十对<1.3原相对门。
- 全拒绝50k新版最差 427.126889ms,原500ms门通过;不是用mixed替代全拒绝。
- 100k压力前取10000,wall 0.974132497s、thread CPU 0.796498710s,首条 0.036622ms。全拒绝首条null/not-applicable,不虚构0。
- 效率阶段wall 11.102917s/CPU 9.114743s/RSS 88.355469MiB,sourceDrift0,120s/256MiB/串行1;该阶段不包含此前匹配准备,不能当整批冷启动时间或物理I/O峰值。physical I/O峰值unknown。
每pair文件及efficiency.json逐项留存,不只挑最好或均值。首验证器有条件表达式分组遗漏:全拒绝分支未断言输入数;efficiency-accounting.json另以保存的逐项input/forward/census数量显式独立核对全部十对和压力,不重跑benchmark,不修改原脚本/结果掩盖错误。
3. 当前唯一新版完整回归(失败保留)
完整Python 1557项 / 1失败 / 0error / 0skip,wall 276.955885s、CPU 181.481619s、RSS 186.214844MiB、sourceDrift0。监督wall 278.602178s,stop=null,attempt1/retry=false。原所有性能断言、async debug、阈值保持,没有删例/放宽或原样retry到绿。
全部失败详情留在私有full-failure-details.txt与原日志;旧G38full1554/3、report1.362775x及全部G39插桩红仍保留。本批full是否通过只按这次终态,不追溯证明旧失败原因;不把新绿的历史项写成已解决根因。G38report路径未作有因果变化、不原样重跑,其红门保持。
14统计仍以同一Fraction独立事实和原v2容差复核:7输入×14项×在线/离线=196比较通过,是E2合成算术,不是帧归属/scope或真机物理准确性。Swift源码本批未改,既有227/3skip结果只作历史,没有宣称新跑了Swift。
4. 交付边界与后续
产品最小优化完成,但总体效率/full红门及全54仍partial。当前不打b122、不覆盖b121;Owner继续测试的b121不含G38修复/本批优化。原报告/会话/清单保留、旧归档逐项SHA复核,代码/知识总览/首页/时间线/handoff同批同步,站点仅构建不发布。GitLab每批一次、不重试,失败不阻其它。
下一步针对真实full仍红的路径做先行有界诊断/最小修复,不把局部优化替代整体。设备A入口、独立同钟同scope网络/CPU/动态内存、GPU live、热枚举/Energy哨兵和电学温度外部参考等缺口仍在54清单,不缩准备/验收分母、不补0或hold-last。正式固定五轮连续/有效100%及独立误差门未达成,Startup12排除/A1 OPEN/Hybrid FROZEN/G9 OFF/GPL法务门不变。
Validation Detail · 2026-10-05
完整1557/1的唯一失败是原7200事件ingress benchmark:Source→Ingress 105.733608ms >10ms,其余全部(含原filter<500ms与pump>20000/s断言)本次通过。没有per-event CPU/GC/调度分段,所以当前延迟根因仍unknown;不能用G39另一轮11.438375ms分段解释这个105.733608ms,也不能据本轮pump绿宣称已修旧pump原因。完整unittest自身日志273.766s,外层含discover/准备执行的runner记录276.955885s,两者分列不互相替换。