共享捕获阶段一最终审查记录

共享捕获阶段一最终审查记录

基线 cc1c43dd7176057976af1c11375443e24206ac16。新视角审查只读执行,报告四项需要修正的问题;实现者完成一次集中修正,并由失败用例、最终相关测试与真实矩阵验证。不把审查者的判断当成运行证明。

发现修正证据层级
删除订阅登记后,保留的 B 与实际 D 仍可能通过原单向校验;后续行被当作未选中启动反查 B/K 对登记;运行路由核对;订阅状态及 B/K 帧双向一致真实 Store 删除登记用例先失败后通过;R16-registry 独立 JVM 拒绝启动
停订后 DDL 更新当前 Schema,旧 L 无法恢复从订阅绑定的不可变 SCHEMA 帧构造旧流 identity真实 Reader 停订/DDL/旧 cursor 检查先失败后通过;不等于目标 DDL 演进
Store 的真实连接可能不在 owner 状态库,绕过独立源 UUID 防护启动核对 Store 实际 server UUID 与 DATABASE错放 L 的真实配置测试先未拒绝,修正后拒绝;没有生产环境迁移
源控制连接 close 未确认后仍继续建立新连接保存粘性错误、阻止后续命令;区分回调失败引起的 SDK shutdown 与命令阻断真实 JDBC 连接+关闭代理、受控 Engine;失败用例修正后通过,不冒充完整真实关闭故障

原 30/30 不足以覆盖以上新增边界。增加修正和登记删除样本后的第一轮31/31仍存在下述采样证据缺口,不能作为最终完整证据。最终31项以修正后的采样顺序重跑,并以最终52项相关检查和原路径27项回归分别验收;版本摘要与最终执行状态见 result.json。

独立核验还发现探针 STATE 的采样顺序竞争:Journal 先导出,Actor 后报告的进度可能已更新。保留原 R10 baseline 和核验失败;测试探针调整为 Actor 先采样、Journal 后导出,随后重跑全部阶段一最终矩阵。这只建立已确认前缀关系,不是跨存储原子快照。

没有新增持久化 Actor 事件或修改旧 FQN/字段;新 SQL 表、帧版本和 cursor kind 有独立命名空间。兼容结论来自旧接口/类型未变、相关旧路径测试和真实恢复回归,不是任意版本升级承诺。

保留的限制包括:源/状态独立实例、可信目标基线、无 L GC、历史校验成本、受调用方配置影响的 JDBC 网络等待、尚未产品化的服务启动/订阅控制、共享域自动接管及 LOW/HIGH 初始化未实现。未额外修改旧 ActorSpec 百万探针及其清理超时;完整后端原命令的失败如实保留。