P95 a02独占attempt

文档类型devlog。同一AI负责方案、实现、测试与证据核对，不创建子代理；Owner已授权继续。a01第五轮UI启动衔接超时，整attempt失败，四轮与迟到Session永久保留，不补接。失败与保全；公式及资格仍按Canonical。正式35/66，P95待验；屏幕刷新率未进入。

冻结合同

新前缀p95-formal-20261021-a02、r1至r5，五个全新Session与自有App生命。ARM202/Lab29和产品/Fixture源码不变，不换包；源码以本方案提交后的main HEAD及逐文件SHA冻结。旧a01的230输入私有副本及源pins不改。初始实际12个P95目录、101原件11963883B和59个主run；每轮以前一轮真实新增八件及即时枚举容量为准，计划最终17目录/141件P95与冷请求/拒绝原件，不把预计量当实际收据。

每轮仍140秒四阶段原配方，固定首120机会≥119有效、maxgap≤2秒、来源/scope/公式异常0；全Raw原生整数独立窗口算术、actual Core模型/CSV/JSONL/SQLite逐样本核同，完整过渡/尾部不删。五轮之间从前轮封口与证据核对终态起wall与monotonic都≥600秒。新首轮保守从a01失败终态双钟满600秒后才准入。任何失败整attempt停止，不重放已消费冷请求或补轮。

UI启动执行门

有限driver与CUA同一连续执行窗口操作；准入前先取得新鲜AX确认停止/目标选择，准入后立即关注同一driver输出和ready，不开展无关文档/分析。每次Start前同时检查driver活性、未生成stop-ready/终态、ready age≤30秒且冷请求expiry剩余≥45秒，再读取最新AX并仅点击一次。任一门失败不点击Start，保留失败请求与证据并停止该attempt。ready是有期限的信号，不能在上下文接续后仅凭文件存在点击。Stop须实际stop-ready后一次执行，并核manifest持久化与完整Session保全；不得自动GUI脚本或绕过真实界面。

准入与保全

每轮严格签名与12931件实际安装树核对；新鲜稳定生命、实际枚举与旧负载全部封口、全101 baseline及前轮八件源/host SHA核同，确认无pending，容量与源冻结通过后，至多正常退出当前自有同生命一次，两次缺席，再一次冷请求写/rename与产品Start。App自动新生命需重新绑定，不能反复杀进程。Mac至少10GiB且新增预计量两倍；手机至少512MiB，完整证据不清理。已证空间约92GiB/13GiB，实际收据优先。每轮最多256MiB主机Session、2MiB手机run，整批预算主机≤1.5GiB，手机≤10MiB。

最终只读校验17目录/141源件（若实际不同立即失败）、59主run元数据/导出集合及所有原始Session，原5生命唯一、双钟/容量/安装收据全部合格后，才独立总核并按Owner既有无完整物理参考政策正式计36/66：NO_REFERENCE_ACCEPTED_OWNER_POLICY、referenceAccuracyValidated=false、ownerReviewRequired=false。Raw算术仍不得豁免。当前完整物理参考调查结论沿用已保存事实，非永久无参考/硬件结论。

资源与预计耗时

复用已资格流、单手机连接串行，不并行采集，五轮140秒加四次600秒及准入/复制/核对，预计约60分钟；首轮保守冷却额外最多10分钟。常规准入/原件读取O(原件字节数)，统计O(Raw事件数)，顺序有界文件块/单文件2MiB/保全总32MiB；driver375秒/192MiB，最终只读110秒/192MiB，离线总核60秒/192MiB。新工具仅参数化baseline/前缀与执行新鲜度，不改采样链；软件反控至少覆盖缺轮拒绝、旧ready拒绝、活driver缺失拒绝和expiry不足拒绝。当前12目录保全实际9.956501秒/91897856B，作为该真实规模基线；最终17目录实际成本另记，不预称性能已过。站点构建180秒/1536MiB。

正式通过后按逐指标闭环更新知识库/开发记录/归档/首页、提交双推、构建与网站/通知真实状态；已授权缺配置partial继续。公证暂缓、内部开发签名和GPL正式分发门不变。下一屏幕刷新率来源与可控用例，不提前验收。

Implementation Update · 2026-10-21 · 参数化与启动新鲜度门

私有13个复用脚本按新前缀、12目录/101原件baseline、最终17/141参数化，旧a01原脚本不改；新增admit_ui_start_a02.py在CUA Start前校验同路径/轮序活worker、ready年龄、请求期限、终态/stop-ready，结果用独占文件持久化。七个纯软件正反控制全部通过，手机调用0；全部脚本语法检查通过。实际五轮尚未启动，正式35/66不变。新Start收据只作为执行门，不充指标数学或参考精度证据；总审将逐轮核该收据。

Implementation Update · 2026-10-21 · a02只读准入拒绝与a03纠正

a02第一轮在手机写入/信号/冷请求之前因five-real-slots拒绝：复用driver仍有原8目录硬编码，与新的实际12目录冲突。属于执行工具参数化遗漏，非手机容量不足或指标算法问题。终态3.883311秒/83443712B、源pins一致；phone coldWrite/rename、signal、launch、install均0，不构成正式轮。原a02冻结副本/拒绝证据保留。

新a03前缀p95-formal-20261021-a03、私有20261021-p95-formal-attempt-03，保持本方案其余合同。实际driver容量条件与guard参数统一从attempt.oldP95Runs及initialCustodyFiles读取；直接提取实际AST容量表达式运行15项（五轮真实容量、旧8容量、超上限），全部通过。未修改a01/a02冻结输入或收据。a03首轮仍从a01最后有副作用失败终态双钟600秒，a02无负载/写入不伪造新冷却负载；即时全101源件、12目录与59主run核对仍必需。启动新鲜度七控制与缺轮拒绝门继续保留。新a03全部五轮之前，正式仍35/66。