2026-09-10 01:16:31 +08:00
1 changed files with 9 additions and 0 deletions
@@ -842,3 +842,12 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写
 - 取消链同时执行预留后取消且业务 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 子孙清理和更新中断矩阵仍未完成。
+
+
+## 增量：S-03 冲突矩阵与绑定隔离生产验收
+
+- 审计发现不同文件在两台设备同时 rename 到同一目标时，冲突记录原先指向远端身份的旧路径，`copy` 会保存错误文件并丢失目标处的本地身份。现将目标占用文件冻结为冲突本地侧；解决时以独立、持久化的 retire/restore operation ID 先保存副本、移除占用、应用远端身份，再按服务器 head 恢复被挤占文件的原路径。schema 升至 12，11→12 会先生成可读 SQLite 备份；新增字段与未完成决策可在重启后继续。
+- 新增真实 Uvicorn 服务与两台 Rust 客户端的 100 轮矩阵：同改、改对删、改对 rename、不同文件改到同一目标、删除后历史恢复各 20 轮。每轮在冲突打开时核对本地和远端摘要对象均可恢复，选择保留副本后循环 push/pull 到空，随后逐端核对正文、hash、file_id、原路径删除状态与冲突清空；同目标 rename 还核对被挤占文件按服务器 head 恢复并在两端保持同一身份。
+- 同一真实服务用例验证带现有本地文件首次绑定空 Vault 时，提交前服务器 revision 为 0，提交后 delete revision 仍为 0。解绑前冻结旧 operation ID，重绑同一空远端后产生新 ID；旧 binding 明确返回 `SYNC_BINDING_CHANGED`，服务器最终仅出现新 ID。独立状态机 oracle 另以 20 轮轮换 `local/remote/copy` 并重开 Workspace，覆盖同目标 rename 的三种持久化选择。
+- 提交 `a5e5122` 后在只保留用户 Vault 修改的工作树运行统一 runner，summary/case 均为 `PASSED`，commit 为 `a5e512279c76886cde8d8c8b011a297570ab0dbd`，8 项断言通过，耗时 33734 ms。证据目录 `G:\OSProject\OpenNexus-acceptance\s03-a5e5122-535b10624f944f99a2febeebd0e9a296-report\`，报告标记 `contains_credentials=false`。
+- 最终 desktop Rust 全目标 154 通过、15 ignored（`.build/s03-rust-full.log`），包括既有 S-01 与新增 S-03 的真实服务回归；全目标 Clippy `-D warnings` 通过（`.build/s03-clippy-final.log`），runner 6 项自测、Python 编译与 Rust 格式检查通过。S-03 可记为通过；分类 schema、PostgreSQL/MinIO 并发、鉴权/就绪、备份恢复与性能门分别属于 S-08、S-04～S-07/S-09，仍未完成。