planP7E2implemented · gate-open2026-10-02

Gate D 证据就绪预检 · 不代替真机 E4

1. 范围与冻结事实

Owner 当前不方便操作设备。本批只对 Gate B 冻结矩阵、原三轮 Gate C 短会话 和现有 b78/b79 包作只读、单遍字节核对,把下一步真实 UI 取证需要的缺口变为可复算机读清单。不启动/停止 App 采集,不创建 Session,不处理设备身份,不重写旧分析、旧封存清单或旧归档,不修补失败轮。b79 的 R1 缺源假零修复 仅完成 E2 和可安装诊断包,不得与 b78 三轮混算为正式同包 3/3。

本批输出不是 Gate D 自验收,更不是 Gate E 内测交付;任何缺证一律 PARTIAL,当前支持矩阵的六项必需 E4 仍无支持声明。仍须取得真实 UI 非零正控及来源守恒、正式场景逐轮 E4、Stop/报告同轴上界、长会话资源、负例,再对最终相同源码包重建/公证/独立安装后逐项自验收。

2. 只读工具与判据

新增 tools/validation/beta_gate_readiness.py,输入仓库 Gate B JSON 与显式提供的私有 Gate C 批次目录,输出不含原始设备/会话身份的 JSON。先检查 Registry 恰 66 项、metricID 唯一、模式计数 6/6/12/17/25、六项必需 ID 精确匹配;冻结 b78 ZIP 的大小/SHA 要与矩阵一致。对已封存三轮,逐文件流式重算私有 manifest 的 SHA-256/字节数,并以报告 seal、Raw delivery 摘要交叉核对;再比较三轮独立 Session、请求 12 项、封存状态、真实正控、来源 drop/守恒、Stop→最终报告同轴上界。分析件自报的 coreShortCount=3 不能替代磁盘枚举或逐字节核对。

输出把 historicalB78 与 diagnosticB79 分列:旧 b78 三轮即使哈希正确,旧源 0 条、非零正控 0/3、来源 receipt 缺失、报告同轴上界未知都必须仍为 PARTIAL;b79 诊断会话尚不存在,不能填 0 或冒充一轮。正式 5 分钟截图 OFF/ON、长轮、三类负例和 Startup 条件实验分列缺失,不能靠静态代码/公证包补位。私有路径只在调用参数,输出仅使用 core-short-r1/r2/r3 与 session-A/B/C 别名。

复杂度为 O(文件总字节)、SHA 缓冲 ≤1 MiB,单进程串行 1,无产品 decoder/Raw 内容解析;预期三轮约 42 MiB Session 加两个约 105 MiB 的包摘要在 120 s、64 MiB 探针预算内。实际 wall/RSS 与读取字节留机读;被系统拒绝的物理 I/O 峰值记 unknown。损坏、漏件、超时或资源超限即停止并写 PARTIAL,不自动重跑或以缺项为 0。

3. 验证与交付边界

用篡改 SHA、删一个 Session、重复别名、伪造 3/3 自报数、缺包/跨包混算、缺 E4 receipt 的合成反例测试 fail-closed。对真实旧件只运行一次只读核对;保留工具输出与运行资源到原私有 Gate C 批次下 gate-d-preflight/,公开页只放别名/聚合结果。验证文档门禁与站点 build,但不部署网站。窄范围提交、GitHub/GitLab 各推一次(GitLab 失败不重试)、Webhook 一次。四项他方 WIP 不触碰;Gate C、D、E 均保持开放。

2026-10-02 Implementation / Validation Update

实际新增 tools/validation/beta_gate_readiness.py 与 9 个匹配测试(1 正例、8 反例);没有修改产品代码、质量公式、Gate B 冻结矩阵或任何旧 Session。工具按原矩阵先复核 66 唯一 metricID、6/6/12/17/25 模式与六项必需清单,再单遍核对 b78 冻结 ZIP 和 b79 独立诊断 ZIP。三轮历史 b78 Session 各 30 文件、共 90 个文件逐一 SHA/大小与现时磁盘一致;报告 seal↔final SHA、Raw delivery↔Raw SHA 均一致,三轮别名/分析件计数再交叉核对。所谓“封存可重算”只证明现时字节身份,不证明网络来源可信。

真实旧件预检输出:三轮 sealed 3/3;设备网络非零正控 0/3、来源 drop/守恒完整凭据 0/3、Stop→最终报告同轴上界 0/3。b79 真 UI 诊断尚未启动;包哈希与 b78 不同,因此旧三轮绝不混算到 b79。当前缺口 12 项,含正式 b79 包/矩阵重冻结、短轮 3/3、5 分钟 OFF/ON、长轮、三类负例、Startup 条件实验以及最终同源码交付包;状态 PARTIAL,Gate D 自验收与 Gate E 内部交付均 false。

工具对实际两份约 105 MiB ZIP 与三轮约 42 MiB Session 共流式读取 263405234 B,wall 0.348712 s、峰值 RSS 18.234 MiB,满足 120 s / 64 MiB 探针预算;宿主物理 I/O 峰值 unknown。9/9 合成测试通过(1 正例、8 反例):Raw 篡改、缺轮、重复别名、伪造阳性计数、无 E4 支持声明、跨包混算、缺包、未复核诊断件、清单路径逃逸均 fail-closed 或保持未验收。私有机读件 gate-d-preflight/readiness-current-r1.json SHA-256 为 d01ee4c05a158fd1a36184005f45e044601e757934576ab535b85ca5aa288e58,会话 UUID 形态扫描 0 命中;不在公开页留原始身份。

本工具是现时证据盘点,明确不是最终 Gate D 验收器:以后有新真机轮次必须按当时正式合同扩充逐轮原始字段、资源与负例复核,重新冻结包和支持矩阵,再做完整 Gate D/E 判定。Owner 当前无法操作设备,本批不启动任何新采集、不动已准备的 b79 UI;网站只构建、不发布。四项他方 WIP 原样保留。