From b11ee746fe320489ed7911195cebaa91937e2bbd Mon Sep 17 00:00:00 2001 From: xuans Date: Mon, 28 Sep 2026 13:05:34 +0800 Subject: [PATCH] =?UTF-8?q?=E5=90=8C=E6=AD=A5=E6=95=B4=E6=94=B9=E6=B8=85?= =?UTF-8?q?=E5=8D=95=E6=9C=80=E6=96=B0=E5=9B=9E=E5=BD=92=E7=BB=93=E6=9E=9C?= =?UTF-8?q?=E4=B8=8E=E6=95=B0=E6=8D=AE=E5=BA=93=E9=AA=8C=E8=AF=81=E9=98=BB?= =?UTF-8?q?=E5=A1=9E?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/Scert整改任务执行清单.md | 18 ++++++++++++++++++ doc/Scert整改合并优化清单.md | 18 ++++++++++++++++-- 2 files changed, 34 insertions(+), 2 deletions(-) diff --git a/doc/Scert整改任务执行清单.md b/doc/Scert整改任务执行清单.md index 75b65c5..5a50628 100644 --- a/doc/Scert整改任务执行清单.md +++ b/doc/Scert整改任务执行清单.md @@ -1,5 +1,23 @@ # Scert 整改任务执行清单 +## 2026 年 9 月 28 日：运行时与迁移回归（13:05 同步，双版本实库仍有阻塞） + +本节是当前进度，以下 12:48 及更早章节为历史记录。事务审计源码已保存到检查点 `83a3ada`，不是正式验收发布；SQLite 驱动升级与本轮测试强化仍未提交。 + +- [x] 确认本次进度同步需求：核对实际源码状态、日志与进程退出码，同步总清单和执行清单，不用历史通过结果代替当前验证。 +- [x] 新增正式 SQLite 取消查询文件释放回归，旧驱动复现失败；候选 `modernc.org/sqlite v1.40.1` 下 direct／prepared 各 10 次通过，服务并发关闭连续 30 次通过，等待复审。 +- [x] Windows 构建与当前完整后端通过：1634 个叶子通过、0 失败、52 项条件跳过；后续静态检查和模块校验成功，顺序进程退出码为 0。 +- [x] 扩大范围三轮竞态累计 828 个叶子通过、0 失败、15 项条件跳过，进程退出码为 0；跳过项不计通过。 +- [!] MySQL 5.7 三轮组合累计 530 个叶子通过、1 个失败、0 跳过，包含 SQLite 用例；成员迁移重试测试有一次隔离实例初始化失败，进程退出码为 1，不能用后两轮通过覆盖失败。 +- [!] MySQL 8.0 组合已完成 247 个叶子通过，但数据库包发生运行时内存分配失败，组合进程退出码为 1；中断用例不算通过，三轮完整验证未完成。 +- [~] 已强化预期 MySQL 故障码 1644、消息及历史索引字段顺序断言。旧 Error 1280 与索引元数据不一致根因仍未关闭，重复未复现不能标记修复完成。 +- [ ] 定位初始化和内存分配失败、复核索引异常，确认最终驱动选择，对最终候选完成双版本与完整回归，再同步其他专项文档并提交源码。 +- [ ] 接入成员 Web/API、分页、失败审计、全部资源入口授权及任务重判；完成 PostgreSQL 当前实库、Linux 原生与生产验收。 + +最新证据目录：`artifacts/runtime-migration-20260928/`，核对文件为 `sqlite-cancel-after.jsonl`、`service-close-after.jsonl`、`backend.jsonl`、`race.jsonl`、`mysql57-after.jsonl`、`mysql80-after.jsonl`；相关进程退出码均已取回。旧失败日志保留，不创建辅助验收脚本，不清业务库、不进行远端部署。 + +原始 44 项仍为：`[✓]` 0、`[x]` 3、`[~]` 27、`[!]` 3、`[ ]` 11。上述子项结果不升级 P0-05／P0-06／P0-07／P1-09 总项，生产部署验收未通过。 + ## 2026 年 9 月 28 日：项目成员变更事务审计（12:48 同步，验证存在阻塞） 上一批成员基础及最终验证已提交并推送为 `b3909d8`。本批继续 P0-07／P1-09，不把仓储能力当作完整项目管理界面或业务隔离。 diff --git a/doc/Scert整改合并优化清单.md b/doc/Scert整改合并优化清单.md index 6b951fd..acd1de1 100644 --- a/doc/Scert整改合并优化清单.md +++ b/doc/Scert整改合并优化清单.md @@ -1,8 +1,8 @@ # Scert 整改、合并与优化清单 -## 当前进度（2026 年 9 月 28 日 12:48，项目成员变更事务审计批次） +## 当前进度（2026 年 9 月 28 日 13:05，运行时与迁移回归批次） -本节与《Scert整改任务执行清单.md》同步。上一批成员基础已提交并推送为 `b3909d8`，本批需求检查点为 `9dd2539`；本批事务审计源码仍在工作区，尚未提交，不能视为已发布。以下为本次读取测试日志并取回进程退出码后的状态，不沿用上一批完整回归结论。 +本节与《Scert整改任务执行清单.md》同步。成员基础已提交并推送为 `b3909d8`，事务审计源码已保存到检查点 `83a3ada`；检查点不代表验证完成或正式发布。当前 SQLite 驱动升级、取消查询回归及 MySQL 故障断言强化仍未提交。以下状态依据本次重新读取日志并取回全部四个测试进程退出码的结果，不沿用上一批完整回归结论。 ### 原始 44 项状态汇总 @@ -18,6 +18,20 @@ ### 本批任务与证据 +- [x] 核对需求与任务范围：保留原始 44 项及验收标准，区分源码实现、隔离回归、实机部署和最终验收；本次仅同步进度，不增加代码改动或重启测试。 +- [x] SQLite 取消查询文件占用已由正式测试在旧驱动复现；升级候选 `modernc.org/sqlite v1.40.1` 后，取消查询 direct／prepared 各重复 10 次通过，服务并发关闭重复 30 次通过。修复候选仍待复审，不宣称已完成全部平台验证。 +- [x] 当前候选完整后端 `backend.jsonl`：1634 个叶子通过、0 失败、52 项条件跳过；Windows 构建、后续 `go vet ./...` 和 `go mod verify` 成功，顺序进程退出码为 0。条件跳过不计通过。 +- [x] 扩大范围的三轮竞态 `race.jsonl`：累计 828 个叶子通过、0 失败、15 项条件跳过，进程退出码为 0。 +- [!] MySQL 5.7 三轮组合 `mysql57-after.jsonl`：530 个叶子通过、1 个失败、0 跳过（包含 SQLite 用例）；失败为 `TestMySQLRealProjectMembersMigrationRetry` 的隔离 MySQL 实例初始化失败。后两轮该用例通过不能抵消本批失败，进程退出码为 1。 +- [!] MySQL 8.0 三轮组合 `mysql80-after.jsonl`：已完成 247 个叶子通过，但数据库包进程报 `fatal error: runtime: cannot allocate memory`，组合进程退出码为 1。中断测试不能计为通过，双版本完整回归仍未完成。 +- [~] 已强化 MySQL 迁移故障断言与三条历史索引检查，避免把意外错误当成预期故障。此前 5.7 的 Error 1280 与服务端索引元数据不一致仍未关闭；重复测试未再复现不等于根因修复。 +- [ ] 继续定位 MySQL 初始化与测试进程资源失败，复核旧索引异常；完成最终依赖选择、最终版本回归及其他专项文档同步后再提交修复候选。 +- [ ] 成员管理 Web/API、分页、失败请求审计、全部业务入口资源判权和排队任务重新判权尚未接入；PostgreSQL 当前实库、Linux 原生验证及生产门禁仍未完成。 + +最新证据目录：`artifacts/runtime-migration-20260928/`。本次没有浏览器测试、SSH 或生产部署，没有清理业务库。P0-05、P0-06、P0-07、P1-09 总项继续保持 `[~]`。以下 12:48 记录为修复前历史，不代表当前候选的完整后端仍然失败。 + +### 历史进度：项目成员变更事务审计（12:48 核对） + - [x] 已实现成功授予／撤销项目角色与审计同事务提交；审计失败或未实际写入时回滚成员变更，保留实时操作者判权。MySQL 检查成员表与审计表均为 InnoDB，不自动修改历史库引擎。实现完成待复审，不代表全库兼容性验证通过。 - [x] 已补充正常变更、拒绝操作、审计故障回滚、自我撤权、历史保留、取消上下文、存储边界及并发重复变更测试。最新仓储专项 `targeted-verified.jsonl`：41 个叶子通过、0 失败、3 项条件跳过；跳过项不计通过。 - [x] 最新三次竞态专项 `race-verified.jsonl`：累计 123 个叶子通过、0 失败、9 项条件跳过；随后 `go vet ./...`、`go mod verify` 成功，顺序进程退出码为 0。