G42 精确索引优化与当前软件门验收
唯一type devlog。同AI方案、实施与自复核,不是独立第三方验收。基线05e96af;按Canonical G42/P/匹配补充/实现与G43合同。原G41的writer观察缺口/压力guard失败仍partial,96项封存原件保留,未回改历史结论。
当前源码的完整软件与报告效率门通过;完整54项及真机五轮100%仍partial。 本机目前仍b121,不含G38/G40/G42,没有b122安装;下一先准备包含新源的内部测试包,不把E2当作真实设备准确性。
1. 先行压力与资源监督(产品修改前)
修正上批只在run末检查预算、终态数据不耐久的工具缺口,新增独立进程监督100ms观察、500ms单次ps超时、whole40s/128MiB、超限TERM/KILL进程组、exit后继续检查deadline/child终态RSS。观察间隙未排除不可见峰值,最大观测RSS不冒充真实峰值;child同时保留ru_maxrss。超限/丢观测fail-closed、不自动retry。
正常exit0、明确exit3、live timeout、live RSS、exit0+terminal RSS五类分支及deadline覆盖均按预期。首六条件的terminal-deadline实为写终态前被kill,仅证live deadline;另一个受控terminal record夹具确定性exit0但声明wall3.001s>3s,监督以timeout-terminal拒绝。这是人为夹具字段测试,不是生产资源值。七个夹具全部留存,未假称首覆盖完整。
独立follow-on只跑前次未保存结果的20k压力,没有重跑15对或把G41改判通过。每侧两系列40000插入,磁盘WAL/synchronous FULL、cache16KiB、每256组commit驱逐,实际缓存重读与close/reopen/restore。全部SQL三个表摘要、每节点AVL/height/count/sum、选定秩/prefix/range/largest-sum和sorted独立参考一致,约O(NlogU)插入/O(N)核对。计数wrapper另做128输入,load调用 1468→1044,不混入计时。
P压力whole 25.500376s/CPU 18.346950s/RSS 67.074219MiB;外部监督26.037417s、无stop。complete-side新/旧wall 1.097419265x/thread CPU 0.932170882x,均在1.3原相对门。旧ingestion7.311535s/影子8.166248s——并非每轮wall更快,不能把CPU节省描述为所有延迟改善;物理I/O峰值unknown。每side完成exclusive+flush/fsync,终态即使失败也另落资源,压力一次/source未改。
2. 实际源码与影响边界
只改exact_order_index.py:新增10行_touch_and_balance,再将_insert中_touch随后_balance两行替为该helper一行。复用左右node/height避免重复load,height/count/sum表达式与浮点加法顺序完全保持。原_touch仍返回None,_balance、叶/重复值分支、旋转、SQLschema、cache/dirty/nextID、commit/recovery与所有公有API不改。0数值定义/准入policy/quality/scope变化;无统计近似,不删除ACK、detail flush、checkpoint、fsync或Raw以换效率。
源码与上批私有影子逐字节相同,先前258pin仅允许索引+新匹配测试变动,其它源逐项同。节点是单writer持有,helper不引入跨线程缓存共享。增加test_exact_order_refresh.py三项:四旋转/权重零、helper两个load对旧四个且相同全部字段与dirty、16块commit的小缓存重开及全节点/全部rank独立核对。
3. 匹配过程偏差(明确保留,不改原结果)
- 旧源初3测试:1预期helper缺失error +1测试假前提fail。checkpoint.cacheBytes是当前进程缓存占用(192→重开0)不是耐久状态,所以全字典相等的初夹具错;另存初稿/log,修订为schema/committedSequence/series相等并显式检查重开cacheBytes0,仍验证驱逐和全节点。产品helper已实施时发现夹具问题,未把它归为产品缺陷。
- 修订测试通过冻结原类而非回滚产品再测:3项只1预期helper缺失error、0业务fail。新增source匹配中这3项全部通过。
- 首匹配62项含一个不存在test_incremental_metric_recorder模块的loader占位:实际61测试绿,1 loadererror,首suite仍失败,不计“62通过”。之后仅跑此前未执行的真实snapshot/recovery/seal/session_writer/live_seal29项,通过前有file与loader.errors预检。实际组合90项通过,未重跑原61或改旧脚本/JSON掩盖错误。
匹配是E2;本批同一最终源完整suite包含实际全部模块,没有继承加载占位为通过。14统计按原54合同的14项×7固定事实×在线/离线共 196 独立合成算术比较通过,原容差不放宽,不是物理精度/设备帧归属证明。
4. 原完整报告链路效率验收(不是局部索引替代)
旧基线显式冻结G38原online_report及同SHA旧exact_order_index,旧module绑定旧index,不让新优化污染old。原benchmark run函数逐字节复用,每pair10001事件/10000有效interval,五对交错,无profile/GC策略变更;真实constructor/append/ACK/detail SQLite/快照/checkpoint/seal/close包含于wall与CPU。100001事件压力一次,全部side/pair及时落盘、不挑绿。G41的3001分段只诊断,未用于替代该门。
- worst新/旧wall 1.023400521x、CPU 0.946684342x,原1.3x门通过。
- 全阶段wall 32.584533s/CPU 27.812078s/RSS 37.382812MiB/sourceDrift0;外部监督32.893304s/无stop,120s/256MiB/串行1。
- 100001压力wall14.821984s、CPU13.042617s,首条0.308166ms、snapshot3.987513ms、Stop25.431916ms;原50ms/1s/2s门通过,detail 18640953B,无删耐久边界。
G38旧1.362775x原件不变。新验收只关闭当前变更源码的报告效率门,不按新比例追溯分解所有历史失败;CPU与wall、stage与cold import明确分列,physical I/O peak仍unknown。
5. 唯一最终源完整Python终态
1560项 / 0失败 / 0error / 0skip,wall 239.312343s/CPU 157.078979s/RSS 182.796875MiB/sourceDrift0;监督 240.229793s/无stop,600s/512MiB/serial1,retry=false。原ingress/pump/filter所有断言、计时起点/debug/阈值均在。
本批runner启动cwd为repo root,之前full为Sidecar;discover与sys.path都是显式绝对路径,此偏差已提前登记,不假称cwd完全一样。新完整终态0路径/其它错误。子runnerwall含discover但不含此前source-pins准备,监督whole包含该准备,不把二者互换。Swift源码未改,既有227/3skip只历史,未伪称本批新跑Swift。
这轮原ingress通过,但旧105.733608ms根因仍未完整证明,不把这次绿叫历史因果已解决;G41完整writer CPU观测仍unknown,另有改变观察器的新诊断才能解决该归因缺口。仅原判据真实当前source full已绿,不重复同源到绿、不回改旧失败。
6. 下一阶段与整体交付
当前软件门闭环后按Canonical G43准备b122 内部测试候选包:复用环境、真实PYZ源码证明、Developer ID/App与DMG双Accepted/staple/Gatekeeper/独立解包树、旧b121真实回滚与empty staging原子安装。安装前必须再次确认无App/collector运行;本批一次只读查询全闭不等于后续仍闭。此时未构建/签名/公证/安装b122,不宣布存在测试包。
全54指标、原设备A五轮连续100%/有效100%、同钟同scope独立误差仍pending;未确认参考/未实现指标仍在分母内,不补0/hold-last或把candidate当已校准。电流/功率/温度需要真实独立仪器,USB/Wi-Fi不是参考。设备A准入/异代B用途不混用。Startup12排除、A1 OPEN、Hybrid FROZEN、G9默认OFF、GPL正式法务门不变。
本批0新真实Session/旧Session或blob分析、0新环境/worktree/记忆变动/网站发布,网站仅构建;旧归档与G41封存逐项复核。GitLab每批一次、失败不重试且不阻其它。总体目标尚未达到,内部包与后续E4逐项校准不可省略。