北京大学与DeepSeek-AI的Harness团队发表了一篇88页的论文，为软件的动态组合问题建立了形式化基础，并提出了一个名为Cordis的元框架作为实现。 
 [image] 
 [image] 
Cordis框架用TypeScript实现了上述理论模型，分为核心库与组件加载器两层，支持效应追踪、余效应解析、声明式配置协调与热模块替换。开源聊天机器人框架Koishi被用作案例验证，该框架基于Cordis构建，经过四年发展已积累超过4000个社区贡献的插件。论文同时将自演化智能体运行框架列为该范式的未来验证方向，认为在智能体持续生成和替换自身组件的场景下，时空可组合性所提供的恢复与协调保证尤为关键。 



Koishi作者入职DS的最新力作，把cordis套给DSH 😆