Siralos

概览

Siralos 是一个极简、声明式的 AI 编程框架，带有可检查的执行环境。Profile 定义模型如何工作，Context 展示 Siralos 提供给它什么，Host 控制它能做什么。该项目将概率性的模型推理与确定性的宿主执行分离：宿主在模型的提议周围设置由宿主拥有的验证、策略、证据和受控效果。核心与提供商无关、与领域无关，而可选领域在不获得宿主能力的前提下增加专门的智能；Godot Engine 是第一个也是目前唯一的可选领域。Siralos 处于 1.0 之前，正在积极开发，因此其接口仍在变化。Profile 是组合单元：声明式、带版本且只能收窄，它可以限制宿主允许的内容，但绝不能放宽。无法强制执行的效果，会在执行、批准、创建检查点或清理之前，以带类型的“不可用”形式报告。仓库提供一个质量关卡 npm run check，并包含一个差分行为测试框架，它针对固定版本的基准（oracle）和 Rust 候选实现运行场景语料库，并比较带类型的规范结果记录。其实现是一个三 crate 的 Rust 工作区，依赖方向单一：siralos-cli → siralos-adapters → siralos-core。可选的 Godot 支持可以静态检查 Godot 项目、场景和资源，而不执行项目代码。模型无法赋予自己权限；效果由宿主控制，批准只绑定到确切准备好的操作，缺少强制执行时会故障关闭。