docs(acceptance): 记录 A-03 生产验收证据

docs/development/OpenNexus生产化实施进度-2026-09-08.md

@@ -832,4 +832,13 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写
 - 新增 300 次拒绝矩阵：缺失会话、错误会话和旧 generation 各请求 100 次，全部在最外层中间件返回固定 `AUTH_REQUIRED`，下游业务调用计数保持为 0。既有路由矩阵同时覆盖 health、普通 API、SSE、二进制、文档与未知路径，并验证重复 Authorization、浏览器 Origin 和错误 Host 均被拒绝。
 - 真实 Python Sidecar 每次测试生成随机 secret、challenge 和 generation，由父进程通过 stdin 引导，在随机回环端口完成 proof 校验；合法认证可访问 health，`/docs`、`/redoc`、`/openapi.json` 和 OAuth2 redirect 均为 404，关闭父进程管道后子进程在 10 秒内正常退出。测试扫描 argv、父环境、Sidecar stderr 和 Core 数据目录，随机会话材料命中为 0。
 - A-02 driver 还固定运行真实 Rust CoreSupervisor generation 轮换集成，以及 WebView 请求 DTO 的 camelCase/自带 Authorization 拒绝测试，确保会话材料由 Host 独占。提交 `1269bf9` 后在只保留用户 Vault 修改的工作树运行统一 runner，summary/case 均为 `PASSED`，commit 为 `1269bf97786a729942483304ce0cd229bf256470`，5 项断言通过，耗时 12400 ms。证据目录 `.build/acceptance/a02-1269bf9-5a197313d4b64aa49fb44ae5b3b60bcb/`，报告标记 `contains_credentials=false`。
-- 最终后端全套 915 通过、1 项依赖弃用警告（`.build/a02-backend-full.log`）；A-02 driver 提交前预检通过（`.build/a02-driver-precommit.log`），两项 exact Rust 传输测试、runner 6 项自测与 Python 编译通过。本轮没有修改 Rust 生产代码，因此沿用提交祖先上已通过的全目标 Rust/Clippy 基线，并由正式 driver 重跑直接相关 Rust 边界。A-02 可记为通过；A-01 的进程生命周期与资源约束、A-03 的升级/回滚与 A-04 的篡改替换仍未完成。
+- 最终后端全套 915 通过、1 项依赖弃用警告（`.build/a02-backend-full.log`）；A-02 driver 提交前预检通过（`.build/a02-driver-precommit.log`），两项 exact Rust 传输测试、runner 6 项自测与 Python 编译通过。本轮没有修改 Rust 生产代码，因此沿用提交祖先上已通过的全目标 Rust/Clippy 基线，并由正式 driver 重跑直接相关 Rust 边界。A-02 可记为通过；当时 A-01 的安装/启动、A-03 的协议/传输及 A-04 的崩溃/更新门禁仍未完成。
+
+
+## 增量：A-03 Core 协议、传输与取消生产验收
+
+- 审计发现 Core stdout reader 原先会在 ready frame 通过验证前派发带 `rpc` 的 Host broker 请求，不兼容或被替换的 Core 存在握手前业务调用窗口。现增加双阶段激活门：reader 只转交首个 ready frame 并等待，Host 校验 protocol、launcher PID、generation 与 HMAC 后才允许 broker RPC；握手失败显式关闭门并由进程组清理子进程。
+- 新增真实不兼容子进程 oracle：子进程返回 protocol 2 后立即发送伪 `workspace.write` RPC，Host 必须返回 `PROTOCOL_INCOMPATIBLE`，broker 调用计数保持 0。传输 oracle 使用生产校验函数验证 JSON 与 Base64 二进制请求恰好 67108864 字节通过、67108865 字节拒绝；真实 TCP 响应验证恰好 64 MiB 完整接收、声明超界在读正文前拒绝、声明 8 字节只发送 1 字节稳定返回 `CORE_RESPONSE_ERROR`，SSE 累计计数也使用同一上界函数。
+- 取消链同时执行预留后取消且业务 future 从未被 poll、在途真实 HTTP socket 被取消关闭，以及前端请求和流的 9 项用例；后者覆盖 abort 早于 Host start 回执、reader 断流、未知结果语义和冻结 DTO。真实 Python Core/Host Workspace 集成与重开后的 100 次相同 operation replay 证明已提交结果仍可由 `operation_id` 查询且不重复写入。
+- 提交 `e161d8c` 后在只保留用户 Vault 修改的工作树运行统一 runner，summary/case 均为 `PASSED`，commit 为 `e161d8c5319e75d512bc00060cef07d7b271376e`，6 项断言通过，耗时 17681 ms。证据目录 `.build/acceptance/a03-e161d8c-07a281251b4044f2bc60c3f83f144010/`，报告标记 `contains_credentials=false`。
+- 最终 desktop Rust 全目标 151 通过、15 ignored（`.build/a03-rust-full.log`）；全目标 Clippy `-D warnings` 通过（`.build/a03-clippy.log`），driver 提交前预检通过（`.build/a03-driver-precommit.log`），runner 6 项自测与 Python 编译通过。A-03 可记为通过；A-01 的签名安装包/干净 VM/冷启动与 A-04 的连续崩溃、Host 子孙清理和更新中断矩阵仍未完成。