curtiseng/spatiotemporal

README 摘要

spatiotemporal 时空可组合性演算的 Rust 实现。 论文《A Programming Paradigm for Spatiotemporal Composability》第 5 章给出了一个核心库，把可撤销 effect 与响应式 coeffect 实现成可用的编程抽象；原文的参考实现 Cordis 是 TypeScript 写的。这里是同一套语义的 Rust 版本： 核心库（5.1 节）加声明式配置层（5.2.1 节） 。 一句话概括它解决什么问题： 让组件可以在运行中被装上和拆掉，而拆得干净这件事由抽象保证，不依赖每个组件作者的勤谨程度。 提供者被换掉时，这个组件自己会去激活、重新激活，且顺序有保证——它不需要写任何卸载路径，也不需要监听任何事件。 cargo run --example swap provider 能看到全过程。 试试 Agent spatiotemporal-agent/ 是演算之上的 插件化 agent harness ，形态对齐 DeepSeek Harness (dsh)： 文档、工具、LLM、界面全是 cordis.yml 里的一行行 fiber ，换实现 = disabled + insert ，不必改宿主代码。 推荐首轮 ：切创造模式 → define script 安装 code-stats → 批准 → 「统计代码行数」。script 叶子通过 host.callTool 编排 native 的 bash / read ，结果见 DEMO.md 。 能力 说明 四种基质 同一棵 fiber 树里 native / wasm / script / process 叶子并存（ outline 、 cite 、 stats 、 bash …） 三档 profile 标准 demo → 编码 （ --coding ，更多 tool 轮次、注入 CODING.prompt.md ）→ 创造 （热装 script、 define script 走审批） 工具链路可视化 每轮展示思考步骤 + 工具调用时间线；步骤持久化到 session JSONL 工作区切换 浏览器下拉或 API 切换项目目录；fs/bash 沙箱根热更新；最近目录记在 .agent/workspaces.json 多会话 + 会话级隔离 每工作区独立 .agent/sessions/ ；聊天 JSONL + 会话 patch JSON；创造模式热装只进当前会话 配置热对账 浏览器或 POST /api/mode 切换 profile，无需重启进程 无 API key 时用 cargo run -p spatiotemporal-agent -- --smoke （LLM 换 echo、界面换 probe，CI 同命令）。启动细节、环境变量、试玩脚…

分类