# 钠守进展11独立复核

状态：正式结果只读复核已完成。10项独立审查中9项通过，1项发现开销汇总重复累计。任务结果及恢复计数可复核；发布时必须附派生更正，不能写成独立审查全部通过。

研究范围：将钠守实际公开网站的发布前检查作为真实软件工作流，验证检查任务中断、继续和隔离故障反馈。此处真实指检查对象是项目自己已有的网站文件，并非真实用户试用、物理断电、钠电硬件或能量测量。

## 预先提出的六项审查要求

1. 公平条件。正常参考、无检查点、逐任务检查点使用相同冻结快照、任务清单、检查实现和输出要求。对照只改变检查点开关；开始后不能因结果不利而删改任务。重做按原始任务尝试记录重建，不能遗漏退出前已经执行但尚未保存的检查。

2. 真故障与注入分开。基线站点没有发现问题时保留零错误。故障只能注入隔离副本，记录故障位置、已知修改和修复原字节，明确为主动注入，不能写成发现线上真实缺陷。诊断应指向具体失效链接，而不是只给“有问题”的分数。

3. 中断语义一致。两组在相同第4任务边界由自有子进程主动 exit 75，保存原始事件与退出状态。若检查点在第4任务后已提交，应明确这个有利边界。正常参考为独立完整运行的输出，恢复结果按规范化任务结果比较，不要求PID和时钟相同。此实验不是操作系统强杀或物理掉电。

4. 恢复拒绝条件。检查点绑定输入清单、任务与检查代码的版本，使用原子提交。输入变化或检查点损坏后，应在继续扫描、覆盖检查点和复用旧结果前拒绝。被拒绝不能写成修复成功；路径越界输入不得触发读取。

5. 数据与路径边界。只读固定的公开站点快照，不跟随外链，不执行来源JavaScript，不跟随重解析点访问其他目录，不扫描用户私有文件。公开结果只列相对路径、哈希和诊断。检查语法和链接覆盖范围应具体说明，不等价于完整浏览器或发布可用性检查。

6. 结论边界。可讨论本次检查减少的重做条目、结果一致性以及实际记录的保存/核验开销。时间不能直接换成Wh或普遍省时收益；仅有一个站点、一个预设退出位置时不推断群体规律。愿用、愿付、节能和经济闭环仍待验证，不借评委评论宣称市场价值已经成立。

## 正式结果复核

本审查读取冻结协议、输入、代码、原始事件、报告和检查点，通过单独的只读审查脚本重新计算文件摘要、重建计数，并独立复核基线的受支持链接目标与脚本语法。没有导入checker/worker/run，没有执行网站脚本、修改冻结实现、重跑正式实验或修改前端。

协议 SHA-256：9bc84e5768aa7271a09a06882fe223ee71ca7f0830077602735b86919696870c。

输入清单 SHA-256：9ab497d23c3666de82f2851f00c9cf52cc96e65fe1aa6d46be98726f80eab442。

正式结果 SHA-256：b4c4884418821efd6692393f000a2fc2e16c69e32c03b9a2d10d2fdc8ed8e6e7。

协议于2026-10-16T08:30:15.626Z冻结，正式比较开始于08:32:16.141Z，结束汇总于08:32:19.829Z。冻结早于正式比较；6个代码摘要和输入清单摘要吻合。输入来源的gitHead为null，本次版本证据是冻结字节摘要，不补写未经观测的git版本。

### 1. 对象和完整性

原始网站、隔离故障副本和修复副本均含67个文件；只读审查重新计算201个文件哈希。故障副本只改变index.html，新增预先声明的不存在CSS引用。修复后的67个文件路径、字节数和SHA均恢复为原始输入。67是一个网站按文件拆分的检查任务，不是67个用户或独立工作负载。

全部任务顺序符合HTML、JavaScript、CSS、其他完整性任务的预定分类和排序。普通组、检查点组最终完整报告与正常不中断参考逐字段一致，均有67项、0个范围内诊断错误。修复后的任务结果也与参考一致。

独立静态复核确认108个本地目标、6个未发起请求的外部引用和9份仅解析未执行的JavaScript。该复核只覆盖协议声明的带引号指定属性、相对目标、带引号id和vm.Script语法；不等同于完整HTML/CSS解析、所有运行时行为、HTTP可达性、可访问性、内容正确性或安全审计。其他类型文件只检查完整性。

### 2. 中断和恢复计数

两组均在前4项完成后，由自有子进程主动退出，退出码75；检查点组已完成第4项临时文件写入与rename后才退出。不是随机中断或未提交边界。

从原始任务事件独立重建：普通组71次任务尝试，前4项各重复一次；检查点组67次尝试，复用4项，没有重复任务检查。两组均重新启动一次，最终完成相同67项。两次子进程状态分别都是75和0。

最终检查点的协议摘要、输入清单摘要、任务摘要及完整结果均吻合。所有704条合并原始事件与控制器及逐工作进程事件的多重集合完全一致，包含9次子进程调用，没有发现漏合并或多合并。

每次启动前仍对全部67个输入重新读取并计算哈希，完成前也再次核验。少做4项逻辑检查不能表述为少读4个文件、免去全部输入核验，不能直接换成4/67的省时或省电比例。

### 3. 诊断、已知修复及拒绝

隔离故障报告准确列出index.html的LOCAL_TARGET_MISSING和预设CSS文件名，范围内错误数从0变为1。按已知原字节修复后返回0，完整任务结果与基线一致。这证明本例中的观察、定位、已知修改和复验可以对应，不是发现线上真实故障，也不是AI自主生成或选择修复策略。

注入后复用原检查点、修复后复用故障检查点，两次均因绑定变化被拒绝，没有新的task-attempt事件，也没有成功最终报告。

正式verification记录有10组通过、0组失败。畸形检查点、摘要损坏、输入改变和路径拒绝的自检实现已读取；其中直接重查共用了checker，故不能把自检称为完全独立实现。独立审查没有重复执行这些运行测试。

### 4. 发现并保留的汇总错误

独立审查发现results.json里checkpointBytes和checkpointWriteMs汇总过大。

原因是run.cjs对所有事件累加这两个字段。每个task-complete事件已经有一次写入数据，重启进程结束的worker-finish又包含后63项的同字段小计，导致这部分被第二次相加。

按67条task-complete单独重建，累计写入为1,789,132字节，相关序列化、write与rename调用为71.18730000000005毫秒。最终检查点文件大小为38,368字节，和累计写入量是不同量。

被重复加入的worker-finish小计为1,740,729字节、65.84100000000004毫秒。原汇总因此写成3,529,861字节、137.0283000000001毫秒。

这一发现不改变71/67次尝试、4/0次重复、最终报告一致或注入修复诊断，但它说明10组程序自检没有覆盖这项汇总语义。不能把“自检10项通过”扩大成所有统计均正确。

本轮处理方式是保留正式结果、冻结代码和原始事件原字节，公开独立审查与派生更正显示。首次独立审查机器记录也另存保留。没有为了让报告全绿重跑、覆盖实验或改动冻结代码。

可发布的结论应写为“任务结果复核通过，独立审查发现并更正一项开销汇总错误”，而不是“独立审查10项全通过”。未来实现版本才修复统计代码，并重新冻结。

后续派生文件results-corrected.json已单独只读核对通过：它绑定原results.json和事件文件SHA、67条task-complete及统计方法，准确替换两个错误主字段，保留原字段值和更正原因。将这两个主字段还原并移除amendment后，其余内容与原结果深度一致。派生文件SHA-256为606b62d12b9595e5cee1108b9f4a7638456a1ffa808bbf1a976a6eb6a85c830f。这个修正复核单列，不把原来发现的问题改成通过。README现已替换错误数值并说明原汇总问题。

### 5. 时间、公平性和商业边界

普通组两次子进程合计764.3574毫秒，检查点组727.6727999999998毫秒；正常不中断参考为498.3421毫秒。时间包含启动、输入哈希、检查、I/O和重启。每组只有一次且固定执行顺序，没有随机交叉、缓存控制或统计性能设计，不能用这几个数宣称净提速或省电，更不能推断实际Wh。

保存写入本身有成本。对于这样的轻量静态检查，直接重跑仍可能是更合理的工程选择；本轮没有证明逐项检查点优于成熟构建或持续集成机制。

首次受限运行只留下正式启动事件、启动失败说明和初始配置，没有工作进程任务事件，随后在允许启动子进程的环境中使用相同冻结代码、协议、输入完成正式比较。失败启动记录独立保留，没有混入成功比较。此处启动失败原因来自当时保存的运行说明，审查并未重现环境拒绝。

检查点摘要没有密钥，适用于本实验内输入变化及意外损坏检测，不能宣称防止恶意重算摘要伪造。临时文件加rename未fsync，未验证操作系统崩溃或物理断电持久性。路径代码拒绝非便携越界路径和符号链接，但这不是全面文件系统安全认证。

目前闭合的是一个低成本软件反馈例子。知识转成检查规则，产生诊断，执行预先声明的修改，再复验原条件。没有证明价格、愿用、愿付、维护接入成本、实际用户收益或经济商业闭环已经成立。

审查工件：outputs/iteration11-readonly-audit.cjs、outputs/钠守_进展11独立复核原始_2026-10-16.json、outputs/钠守_进展11独立复核初审_2026-10-16.json。机器记录summaryCorrection包含更正依据、原值、逐事件正确值和适用原结果摘要。