# 钠守进展09独立复核

状态：正式结果只读独立复核已完成，通过本报告列出的工件、输入、计数和公平性检查。没有改动冻结研究代码，没有重跑正式实验。

复核范围：读取 work/scheduling/ 的 protocol、protocol-lock、planner、adapter、run、verify。没有修改研究代码，没有运行正式比较。

本轮要解决的缺口：旧版已经实现 efficiency 的模型排序，但 protocol.methods、实际 run 循环及六情景价值断言只纳入 original、importance、exact。进展09应把 efficiency 接入相同处理器，验证模型安排与实际完整批次验收是否一致，不将旧样例重复说成新场景或新用户证据。

必须保留的六项要求

1. 冻结和保全。新版本正式执行前冻结新协议及代码；输入清单 SHA-256 必须与旧版相同，六情景任务、数值和来源绑定不变。旧目录的协议、原始事件、结果和代码保持原字节。本审查已在“钠守_进展09旧结果保全快照_2026-10-15.json”记录旧文件摘要，后续再次核对。

2. 四组贯穿全链路。新协议明确四个唯一 method ID；实际执行、验证、摘要、网页展示都按 ID 遍历，不能残留“三组”的固定索引、运行总数或三列价值数组。每个情景应有四种安排、各三次重复，合计72次条件运行；每条原始开始和结束记录应能一一对应。

3. 效率排序可独立重算。efficiency 应沿用旧版“价值/成本降序、相同比率按原输入顺序、整批放不下可跳过”的精确定义和相同预算/截止检查。逐情景核对顺序、选中批次、实际完成批次及完整验收后的价值，不以模型得分代替执行。尤其保留略低预算情景中效率规则得5、其他规则得6的反例。

4. 输入和质量一致。所有四组通过同一外部冻结来源绑定、同一 BMP 备份/40×24最近邻缩略图/逐图检查点、同一成本1与保护余量。复核新批次文件 SHA-256、来源索引、输出尺寸及核验代码覆盖全部四组；不得利用缓存跳过图片处理再把它列为新增处理。

5. 汇总可从原始记录重建。按情景/策略/重复复核 completedValue、processedImages、chargedUnits、remainingUnits、保留余量和完整批次。三次确定性重复不算独立样本，20张唯一图片与累计处理次数分别说明。exact 与最好简单规则的比较同时纳入效率规则；保护不可行不能归入普通打平。

6. 证据边界不扩大。预算仍为合成单位，截止时间仍为模型刻度，价值仍为预定义偏好。沿用同一程序和处理器不能称为独立设备、真实AI推理、物理掉电、实测Wh或客户收益。若恢复检查只是单批次有序暂停/补能继续，不宣称整个多批次控制器崩溃恢复。新增贡献只表述为把较强简单规则补成实际处理对照。

旧版本发现的具体迁移风险

- run.cjs 执行循环已读取 protocol.methods，适合增加第四组；但 summary 的 executedMethods、strategyRuns 使用固定3，exact/importance比较使用 methods[2]/methods[1]，需改为按ID查找。
- verify.cjs 的 strategyConditions 固定18，六情景 expected 数组固定三列，并直接读取 model-only efficiency。增加第四组后需要覆盖四列实跑结果，保留与旧模型一致的独立核对。
- 原始效率排序已存在于 planner.cjs，不能本轮偷偷改变规则或另选有利样例。
- 旧版运行结果会保留额外的 efficiency model-only 项，新版必须明确它与第四组实际执行的关系，不能让网页把同一效率策略列为两种独立对照。

正式结果复核

复核方法：读取正式协议、锁文件、结果、验证记录、原始事件、全部处理工件和旧文件快照，使用单独的只读脚本重新计算摘要、直接核对缩略图像素、重建计数及有限样例最优值。审查脚本不导入、调用处理器或正式运行入口，不生成新的实验任务。

新协议 SHA-256：d966eed6d7ee6a5227c6854c9bf6544b7d7df9433bed5fd888adbb75974eded3。

冻结时间为2026-10-15T13:48:25.538Z，正式开始为13:48:33.149Z，结束记录为13:48:56.372Z。冻结早于正式比较。7个冻结代码摘要、5份旧版参照摘要和协议差异文件摘要吻合。

1. 旧记录保全及实验条件

旧目录保全快照中的11个文件再次核对，全部原字节不变。新旧输入清单同为0b9fb1e37e7d188175a92f1a6e439373132c5feb3891a1ee10efc839108c3c06。20张输入逐个重新计算SHA-256，新旧一致。六情景的全部任务字段、质量、预算模型和检查点规则与旧协议深度比较一致。

新协议明确 original、importance、exact、efficiency 四组。效率排序实现的 planner 文件与旧版哈希相同；独立按价值/成本比和原顺序破同率重新计算效率选择，与前轮模型和本轮实跑全部一致。

2. 四组完整执行及工件

原始事件中72条策略开始、72条策略结束，各自72个唯一情景/策略/重复组合，一一对应。审计日志有72条重复完成记录，最后为 comparison-completed，verificationPassed 为 true。

本轮108个获准完整批次、534次图片处理、12个保护不可行探针，共120个正式任务ID。这些ID全部与前轮正式任务不同。534条 item-completed 原始事件与结果一致。

第四组效率规则包含30个完整批次、132次图片处理，18个情景/重复结果全部符合此前的效率模型。原三组54次控制重复的任务、价值、图片数、合成成本、余量和输出摘要均复现旧结果。

对全部534次处理，实际读取来源、备份、缩略图并重新计算1602个文件哈希；来源绑定、备份字节和记录均一致。逐像素直接核对512640个缩略图像素位置，每个位置3通道，符合160×96到40×24最近邻规则。没有发现输出或来源不一致。

逐批检查持久化 checkpoint、job.json 和外部绑定。固定质量、成本1、同一保护余量未改变；处理次数等于批次图数；逐批余量承接前批次，没有重复预扣保护余量。12个不可行探针均暂停，0次尝试、0张结果。

3. 结果和解释

按原顺序／重要性／精确优化／效率顺序，六情景分别为：

- 同成本：6／9／9／9。
- 异质批次：10／10／14／14。
- 预算充足：24／24／24／24。
- 保护不可行：0／0／0／0，单列为不可行。
- 恰好预算：9／9／11／11。
- 略低预算：6／6／6／5。

只读独立全顺序子集枚举在六情景全部吻合精确优化值。五个可行情景中，精确优化相对效率规则改善1个、打平4个；但每个可行情景均至少有一种实际执行的简单规则与精确优化打平。不能表述为精确优化超过了最好简单规则。

4. 软件验证及恢复边界

正式 verification.json 有10条通过记录、0条失败，内嵌结果与独立验证文件一致。新增两项覆盖旧协议/六情景不变及第四组与旧效率模型、旧三组控制的对应，故是10组，不能继续写成旧版8组。

恢复样例为一个三图批次，先提交1张、有序暂停、补足合成预算后完成3张，总处理尝试3次。再次调用未新增尝试。只读复核最终检查点、补能记录、已保存工件时间戳和事件记录一致。来源篡改与计划绑定篡改测试的最终检查点均为0次尝试、0张结果。负预算及质量下降的拒绝断言存在于已冻结验证代码，正式运行完成并记入通过记录。

这不是整个多批次控制器崩溃恢复、强杀进程或整机物理掉电试验。534是累计处理次数，只有20张唯一输入；3次重复是确定性重现，不是独立用户样本。

5. 剩余维护风险与结论范围

run.cjs 中 exactBetterThanImportance 与 exactTiedImportance 两项仍使用 methods[2]/methods[1]。当前协议及验证明确断言四组顺序，独立重建与这两项汇总吻合，因此不影响本次冻结结果。以后改变策略顺序或增加组别时，应在新版本中改成按ID查找；不建议为了这一非结果错误改动已冻结版本。

实验成本、预算与截止时间仍为合成模型；没有测量Wh、真实应用功耗、客户收益或AI推理。没有钠电硬件或第二设备验证。本次贡献是将前轮仅模型的较强简单规则接入实际文件处理，补齐公平比较，证据边界不扩大。

审查脚本首次把工件 completedAt 与稍后追加的事件 time 误要求完全相等，触发只读审查断言；6毫秒先后差属于记录语义。修正为比较同一工件的已存时间戳并验证不晚于事件后通过。此过程没有改动正式数据或重新执行处理。

可复核审查工件：outputs/iteration09-readonly-audit.cjs、outputs/钠守_进展09独立复核原始_2026-10-15.json、outputs/钠守_进展09旧结果保全快照_2026-10-15.json。