#MoonDMN

• 仓库：https://github.com/sundaysebasidian-byte/moondmn
• 许可证：Apache-2.0，第三方组件见 NOTICE
• 一致性结果：docs/conformance.md
• 设计说明：docs/design.md

#版本对应

# 源码测试
git checkout v0.2.0
moon test --target all

# 安装包调用：在仓库外新建模块，把“安装与接入”中的 import 和示例原样放入 cmd/main
moon new consumer && cd consumer
moon add sundaysebasidian-byte/moondmn@0.2.0
moon run cmd/main

# 线上引擎：打开 Pages；对应的构建见 Actions 中 Pages 工作流的运行记录
gh run list --workflow pages.yml --limit 1

#适用场景

• 业务规则：审批、定价、风控、资格判定这类需要审计、需要版本管理的决策逻辑。
• 跨平台嵌入：同一份 DMN 模型可以跑在服务端（native）、浏览器和插件（wasm-gc）、Node 和前端（js）。
• 规范学习：精确十进制、三值逻辑、时区和区间语义都有可执行的示例和测试。
• 回归验证：官方 TCK 是端到端回归，语义一改，通过数就会变。

#Playground

• 左：DMN XML 编辑器。可以粘贴、点上传按钮，或把多个文件拖进来；用 + 添加文件，编辑文件名，通过 Entry 选择入口模型。解析错误和 lint 告警列在下方，点一条会定位到对应行。
• 中：按 InputData 和 ItemDefinition 自动生成的输入表单。支持数字、文本、日期、时间、日期时间、时长、布尔、枚举（allowedValues）、嵌套结构和集合。多文件导入模型使用 JSON 输入，可按别名嵌套传值。
• 右：结果、决策依赖图（DRG）和决策表。图里点一个决策就求值它；决策表高亮命中的规则行并标出命中策略，点规则行会跳到 XML 对应位置。
• 顶部的 FEEL 标签页求单行表达式并显示结果类型。右上角的时间输入框是 now()、today() 用的时钟。

scripts/build-web.sh
node web/smoke.mjs
python3 -m http.server -d web/dist 8000

#环境要求

• MoonBit 工具链 0.1.20261028 或更新版本（moon version --all 查看）。
• 首次构建会从 mooncakes 拉取 Milky2018/xml 和 moonbitlang/x。
• 运行 Playground 的冒烟测试需要 Node.js（CI 使用 22）。

export PATH="$HOME/.moon/bin:$PATH"
moon version
moon build

#安装与接入

moon add sundaysebasidian-byte/moondmn

git clone https://github.com/sundaysebasidian-byte/moondmn.git
cd moondmn
moon build
moon run cmd/main -- feel 'sum([1, 2, 3]) * 2'

12

import {
  "sundaysebasidian-byte/moondmn",
  "sundaysebasidian-byte/moondmn/feel/types",
}

fn main {
  let result = @moondmn.feel_eval("sum([1, 2, 3]) * 2") catch {
    @types.Failure(_, _, _, message) => "error: " + message
  }
  println(result) // 12
}

moon run examples/api-demo

#命令行

#feel：求值表达式

moon run cmd/main -- feel 'Applicant Age >= 18' --context examples/input.json

true

moon run cmd/main -- feel 'list replace([1, 2, 3], 2, 4)'

[1,4,3]

#eval：执行模型里的决策

moon run cmd/main -- eval examples/eligibility.dmn \
  --decision Eligible --input examples/input.json

true

#lint：静态检查

moon run cmd/main -- lint examples/eligibility.dmn

[]

#tck：运行官方用例

./scripts/fetch-tck.sh
moon run cmd/main --target native -- tck .tck/TestCases/compliance-level-2 \
  --json evidence/tck-level-2.json
moon run cmd/main --target native -- tck .tck/TestCases/compliance-level-3 \
  --json evidence/tck-level-3.json

moon run cmd/main --target native -- tck .tck/TestCases/compliance-level-3/0068-feel-equality

#覆盖矩阵

#一致性结果

#已知失败（Level 3 剩余 26 个）

#和同类实现的区别

• 和 JVM 引擎（Camunda、Drools、KIE）比：MoonDMN 不依赖 JVM，可以编译到 wasm-gc 和 js；错误以结构化 JSON 返回，方便嵌入多语言服务。
• 和脚本语言实现比：四则运算和比较用精确十进制而不是浮点，金额计算不会有舍入偏差（sqrt、log、exp 仍经过浮点）；三值逻辑、null 相等和区间语义按 DMN 规范实现。
• 和只覆盖语法的项目比：仓库带 TCK 驱动和逐例报告，结论可以复现、可以审计。

#开发与测试

moon fmt --check
moon check --deny-warn
moon test                 # native
moon test --target wasm-gc
moon test --target wasm
moon test --target js
moon info                 # 重新生成 .mbti，提交后不应有差异

#平台说明

#限制与路线图

• Java 外部函数仅调用显式注册的宿主回调；不提供 JVM。
• TCK Level 3 还有 26 个失败，逐例列在 docs/conformance.md。
• 时区只有 39 个名称，只覆盖 1970–2100 年。
• now()、today() 没有隐含的系统时钟，必须由调用方注入。
• 部分隐式转换和函数元数据（0103-feel-is-function）还有差距。
• 决策表里的 FEEL 每次求值时重新编译，整表预编译还没做；性能数字见 docs/performance.md。
• Playground 的命中规则只覆盖决策自己的决策表，BKM 内的决策表不显示命中。

#许可证