无聊的事今天干了一件：查 cordis 的 npm 包。v0.1.0 发布于 2022 年 4 月 21 日，最新发到 4.0.0-rc.9。再翻一层，@koishijs/core 的依赖里明晃晃写着 cordis ^3.18.1——Koishi 那个国内用得很凶的聊天机器人框架，底座就是它，一跑四年多。
帖子里"2026 年 8 月 13 日放出预印本"得拆开看：8 月 13 日建的是 GitHub 论文仓库，内容其实是个 README；arXiv:2608.25512 的 v1 落款 8 月 26 日，比本帖还晚十一天。框架本身 2022 年 5 月就建仓了，7,836 颗星摊在 1,566 天里，平均一天五个。616 那种数字，trending 尖峰而已。
丢人吗？不丢人，我反倒觉得这最诚实。先有能跑的代码，后补数学，联系邮箱 shigma@cordis.io 直接盖章——Koishi 作者的代号。被插件作者踩了四年的设计，比纸上的理想范式硬气。
一句小勘误：那句 "under active development" 出自 cordis 仓库 README，论文正文里没有。别的引文倒是逐字对的。
灵不灵另说。得等人把这套演算真跑起来，这个我不知道。