diff --git a/README.md b/README.md index 2c98c07..e951464 100644 --- a/README.md +++ b/README.md @@ -66,13 +66,21 @@ pip install --extra-index-url https://gitea.iomgaa.online/api/packages/iomgaa/py 一致性用例接上了自带的存储实现,解释器与执行器那几条仍等下游把实现接进来 - [x] ⑤ 实现 —— 十个模块全部落地,五个接缝都有调用点。**一处已知欠账**:`stores` 只有逐行 追加那一种形态,关系数据库那种由下游自己实现,契约套件是它的准入标准 -- [ ] ⑥ 验收 —— 两件事。**一是自己造负载压**:照三个消费者将来的用法造约一百个任务,用真实 +- [x] ⑥ 验收 —— 两件事都做完了。**一是自己造负载压**:照三个消费者将来的用法造负载,用真实 数据真的打模型跑完,看这个内核在这个量级上扛不扛得住。**这一步之所以必须自己做,是因为 - 三个消费者一个都还没到能用它的时候**,而「从没被任何人用过」是它现在最大的未验证项, + 三个消费者一个都还没到能用它的时候**,而「从没被任何人用过」是它当时最大的未验证项, 等下游是等不来的。**二是把 dissect 的迁移方案交出去**:不在 dissect 仓库里写代码, 出一份方案提到它的 issue 上,由那边自己排期。GovDoc-SaaS 那半是设计级验收(理由见上面 那张表),口径在 `research-wiki/migrations/govdoc-saas.md` + 压测这套东西住在 `tools/soak/`,它守什么、怎么重跑见 + [research-wiki/explanation/soak-harness.md](research-wiki/explanation/soak-harness.md)。 + 2026-08-11 那一跑:193 次运行、1743 次真实模型调用,两个场景各自的十一条不变量全部通过; + 九类故障注入 58 条判据零击穿。**库本身没有被压出 bug**,压出来的四个问题全在压测这一侧 + (判据写错、场景缺完成通路、崩溃时机抢不到、环境客户端漏了「连不上」那一档),各自的 + commit 里写了是怎么发现的。AppWorld 那一路的步数分布与 dissect 已有的 937 条真实轨迹 + 基本重合,这是「同一个 benchmark 换个内核驱动、轨迹形状没变」的证据 + ## 本地检查 ```