#moonspace

#特性

• 三沙箱架构：解空间（合法状态/事件/effect 的 Mealy 纯转移）、 运行空间（副作用执行边界：Port 权限/资源/超时/审计）与验证环境 （纯函数模型 + 属性 + 不变量）三面分离，依赖单向不回穿。
• 合同驱动生成：gen/ 读取 domain/*.toml 合同对，生成表驱动 状态机、CPS 单层 dispatch、可达性剪枝、属性测试骨架与 handler stub 模板；生成器零业务词——semantics 封闭词表是唯一可硬编码面。
• 组合代数：parallel（张量积，自动做可达性剪枝）/ series（串联 桥接）/ feedback（显式 LoopBack 事件回送，守卫必填）三算子。
• typed 产物面：cmd/ 再生入口从合同生成 typed 枚举与 step 函数， 入库产物受逐字节回归比对（golden）与双实现等价校验（parity）双门 约束，漂移即红。
• 双后端可用：库面（space/ gen/ 主面、runtime/ verify/ out/ 主面）后端中立，wasm-gc 与 native 双双通过编译检查；浏览器 嵌入形态为库面编 wasm 产物、宿主以 JS 实现 EffectHandler。

#架构

#安装

#快速上手

moon run examples --target native                                # 示例 loop：合同 → 门 → 大 loop，零 LLM
moon test gen runtime space out verify --target native           # 本模块全部门件
moon run cmd --target native                                     # 合同再生（修改 domain/*.toml 后）

合同 hello_loop_space 过门：态 3 / 事件 3 / 效应 1 / 转移 3
终局: Done / Completed / rounds=2
  r1: DoIt → WorkDone (completed)
槽位 result_summary = did it

#空间合同（domain/）

• retrieval_base.toml / retrieval_domain.toml —— 演示空间一
• reasoning_base.toml / reasoning_domain.toml —— 演示空间二
• composition.toml —— 组合合同：parallel / series / feedback 三算子

#持久合同规则

• 新键可选：解析器提供缺省，不因键缺席报错；
• 未知键忽略：旧合同文件对新版生成器保持可读；
• 删键/改义：与手写合同文件的迁移同笔完成；
• 字段契约的可执行镜像为 gen/contract.mbt；typed 产物与手写合同 的漂移由回归门拦停。

#设计不变量

• 转移为纯函数；effect 仅产出、由 handler 解释执行；持久化/权限/ 审计留在 Port 层；
• CPS 单层 continuation；handler 幂等或可重试；回调带超时与取消；
• feedback 回送为显式 LoopBack 事件，禁止任意 continuation 捕获；
• 守卫谓词只判解空间数据条件；工具许可等外部语义留 handler 域内 哨兵面，判否以哨兵事件回灌续轮；
• 生成器零业务词：semantics 封闭词表 （query/command/commit/rollback/stop）是唯一可硬编码面。

#构建说明

• moon run / moon test 缺省使用 wasm 构建计划；本仓的文件 系统吃用面（对照门测试件、cmd/ 再生入口）以 native 为门件目标， 因此 native 跑法必须显式携带 --target native，否则相应门件会被 静默跳过。
• 库面后端中立：moon check --target wasm-gc 全绿；浏览器嵌入形态 依赖 moonbitlang/async 的 wasm 入口补齐，当前可执行面暂以 native 为准。
• 作为多模块 workspace 成员使用时，在成员目录内直接运行 moon test 会构建整个 workspace；建议按包过滤，或以独立 clone 形式开发。

#宿主嵌入（引擎形态）

• agent 宿主：LLM 调用纯函数化、多级校验门与完整 agent loop （已落地；装配词表住宿主仓）；
• 数据管线宿主：domain/ 的 retrieval/reasoning 合同对 （BM25Search / VectorSearch / LLMCall 词表）即检索管线速写， handler 真身与预算面待接；
• 浏览器宿主（规划中）：库面编 wasm 产物 + 宿主 JS 实现 EffectHandler，真效应留在宿主侧。

#许可证

#仓库

• 本仓：https://gitlink.org.cn/thy7/mbt.space