planP4E1approved2026-10-06

G65 自有参考凭据原子提交与失败关闭修复方案

Owner授权同AI方案/实施/自复核,非第三方验收。基线1ebbbc5/干净main。上一轮为progress:G64控制与编译证据/存储规则已提交;静态复核发现receipt最终JSON写后fsync/close失败仍可能被误读成功。G65仅修此参考链故障门;全54/原五轮/1.0/冻结tol/完整准备窗保持,正式0/54。Mac产品、手机与旧证据不改。

1. 精确范围与提交协议

自有Fixture默认OFF不变。仅schema2成功/失败凭据存储改为:独占600权限pending文件→有界writeAll→fsync→显式close(不丢结果)→同目录hard-link非覆盖提交最终<log>.seal.json→删除已经提交的pending名字。任何write/sync/close/commit失败均不出现本writer的可用最终凭据;失败pending保留供取证,原数据文件已完成的成功/失败字段保持。最终名字存在则link失败,绝不覆盖;重复finish不再次提交。close失败不盲目二次关闭同数值fd,避免复用竞态。没有自动重试,原有短写/EINTR上限8保持。

receiptCall任意整件替代hook撤回,替为host-only write/sync/close/link窄syscall故障注入;手机正常调用Darwin,不增加手机故障配置。原schema1与Stimulus/指标公式/数量/质量不变。暂存与最终是同inode字节,消费者仍用SHA/计数绑定数据,不靠名字猜对应关系;另要求最终提交的标准basename以排除pending文件,basename本身不提供身份/防篡改或数据对应证明。强制全内容核对与可信来源/AFC稳定复制门依旧并列。

不承诺目录项断电持久化/全磁盘灾难恢复:目录fsync与掉电不在本批实机验证。自身data与receipt同步/close/最终可见性是E2程序路径事实,不代全部foreground-device、产品native窗口、物理/API误差或原五轮。

2. 匹配控制与效率

先在冻结G64源码上用实际receipt fsync拦截/完整JSON演示旧失败(host只替Documents与固定mach),不运行产品或手机。再以修复源执行原19控制和新增receipt正常短写/EINTR、部分写/同步/close/commit失败、提交前不可见/已有最终路径、消费者拒绝pending;补Inf/嵌套/对象三个先前仅静态分支。成功字节与计数/全SHA核对,失败不伪造成功;旧失败原封存保留。

复用现解释器/Xcode derived-data,单并发。实际14404条/7201对,预定交错5对OFF/ON(不是手机五轮);记录首响应/record p95/worst、含finish的whole、CPU/RSS/字节,ON p95≤100µs、whole≤10s、median ON/OFF≤2。原G64结果只作版本前基线,绝不改旧数字或选最好一次。复杂度O(n)增量SHA与行数有界队列,提交额外O(1)系统调用;物理I/O峰unknown,不用host内存相减估新writer独占峰。

host compile120s/768MiB、execute60s/128MiB;完整acceptance工具120s/256MiB;iOS源码一次unsigned compile300s/1536MiB,新编译前保存现旧输出,不覆盖旧签名元数据。source/Info/executable三件独立核对,Info版本若仍1照实记录,不签名、不安装。失败只保留partial,修复/恢复先追加合同再新独占执行,不原样自动重试。

3. 收尾边界

测试前空间≥10GiB且预计新增2倍,活动/归属检查;只清已证闲置可重建产物,原Raw/失败/待分析/封存、b122与b123待公证候选保留。原b123只能查同job,不重submit;本批不Upgrade/launch、不采新Session。后续参考应单一新版覆盖全部修复,绝不先装旧62再立刻换新。

新实现/结果/不可变HTML/时间线两表/知识/Home/ledger/handoff同批联动。站点只build不发布,Node老生代1536MiB/总树2560MiB/300s/记录2s监控probe;每远端一次,GitLab失败不重试不阻断,Webhook一次。完整54正式门与电学温度无仪器/opaque/GPU/foreground scope/帧0.5ns规范冲突仍开,A1OPEN/HybridFROZEN/G9OFF/GPL门保持。

G65.1 冻结反例host等待接线修正 · 2026-10-06(续验前)

首冻结反例编译exit1/1.643178s,host测试直接访问private queue,不涉及生产源码错误,尚未运行反例。原source/log/resources保留;新独占frozen-counterexample-r1仅同文件extension公开host等待方法,与G64既有host适配一致;原120s/768MiB与60s/128MiB保持。不改冻结writer,只替receipt fsync系统调用返回EIO;消费用当前工具源码,结果不冒称冻结旧consumer身份。

G65.2 OFF等价host适配更正 · 2026-10-06(新执行前)

首修复host在Swift编译前oldbody==newbody断言停;G64旧基线也已有sealed finish转发,而适配器只剥当前稿该行,造成假差异。空host目录/失败适配器源/断言留存,尚无控制或成本运行。仅两边一致剥转发以比对原OFF body,另以完整旧/当前wrapper字节相同核对;不改writer/旧OFF编码。新独占host-r1执行原120s/768MiB、60s/128MiB与预定五对,原空批不伪称完成。

G65.3 工具回归证据目录接线修正 · 2026-10-06(续验前)

首完整工具发现213项/1 import error,2.985629s/exit1:driver预建PERFOWL_NATIVE_COMMAND_TEST_OUTPUT目录,模块自身ROOT.mkdir(exist_ok=False)因此FileExistsError,整个native工具模块未运行,不把213说成完整235回归。原log/resources/空目录保留;不改产品或test模块语义,仅新独占native-command-controls-r1名字由模块创建,不预建。原120s/256MiB/串行1保持,待当前iOS唯一构建终态后才执行;不是原样自动重试。

G65 Implementation / Validation Update · 2026-10-06(E2)

G65参考凭据写后故障已在冻结源码host复现;原子提交修复后30控制/235工具回归/一次iOS E2构建通过,未部署手机、未做产品54项同窗验收。pending/sync/显式close/link故障门修复、标准最终名+SHA消费者准入;原OFF/公式与Mac产品不改。三次接线失败原件保留,修后30控/235工具与一次unsigned iOS编译通过,ON/OFF成本比1.313099。E2非手机/数值校准,原54/五轮仍未验收;完整数字/偏差/下一动作见结果。本机b122、原b123同job待公证,0新环境/网站发布/记忆。