MoonWFST 0.1.2

MoonWFST 0.1.2

• 修复构图器、图快照、路径轨迹和修剪映射的数组引用泄漏，防止绕过构图验证。七个内部字段设为私有；直接字段客户端需迁移到 README 列出的复制访问器，公共函数签名不变。泛型可变权重不深复制。
• 增加九项真实回归：快照/访问器隔离、整数饱和、终止权重/空路径、epsilon 循环、断开分量环、空关系组合及 FIFO 拓扑顺序；澄清对应注释。
• 同步中文 README、CHANGELOG 和官方 20261016 生成接口。CI 校验工具链/core 的 SHA-256 与版本，保留接口差异、格式及严格四目标检查。

验证版本：fd7de435d0f19f7bc12910c32f994bbcf7bdb773。
四目标 CI（wasm / wasm-gc / js / Linux native）各通过 56/56 仓库测试；三个 wasm-gc 示例运行通过：
https://github.com/okMambaOut/moon-wfst/actions/runs/39403768492

Windows 本机 wasm-gc / wasm / js 各通过 56 项仓库测试和 208 项仓库外独立验算，并运行三个示例；本机 native 构建因缺 MSVC/Windows SDK 未通过，不声称本地执行 native 测试，其执行证据来自上述 Linux CI。

moon add okMambaOut/moon-wfst@0.1.2

范围仍为 README 明示的 WFST 子集；不提供 epsilon-filtered 组合、确定化/最小化或 OpenFst 文件兼容，不宣称真实识别准确率或大图性能保证。

MoonWFST 0.1.1：中文 README

MoonWFST 0.1.1

本次为中文文档补丁：README 已完整改为中文，包含安装方式、三个可运行示例、API 契约、功能边界、验证结果、许可证、AI 使用、资源限制和历史作者归属。安装命令更新为 moon add okMambaOut/moon-wfst@0.1.1。

核心 .mbt 实现、生成公共接口和测试代码与 v0.1.0 相比未改变。原版本和提交历史保留，不覆盖已发布包。

发布提交：cf6a668cd424a03547d75c2a4b7fcb04147e5481。
CI：https://github.com/okMambaOut/moon-wfst/actions/runs/38515146457。

本地 Moon 0.1.20261012：四目标严格检查通过，wasm-gc／wasm／js 构建和各 47 项测试通过，三个 wasm-gc 示例通过。native 构建与运行由实际 CI 证明，不声称本机运行。

功能限制不变：组合要求无 epsilon 及兼容、乘法可交换的半环；DAG 算法拒绝整张图的环；不含 epsilon 过滤／闭包、确定化／最小化、模型训练或 OpenFst 二进制兼容。许可仍为 Apache-2.0。

MoonWFST 0.1.0

MoonWFST 0.1.0 provides a reusable weighted finite-state transducer model and a bounded set of graph algorithms in MoonBit.

• Validated snapshots, explicit epsilon labels/final weights, caller semirings and Boolean/bounded tropical weights.
• Projection/inversion, epsilon-free composition, weighted union/concatenation, support membership and graph trimming.
• Shortest accepting paths, DAG k-best and order-sensitive forward/backward/total aggregation.
• Three runnable synthetic workflows: speech/lexicon, morphology and OCR constraints.

Verified commit: a9f4181.
CI: https://github.com/okMambaOut/moon-wfst/actions/runs/38513866594 (all five jobs pass, including native check/build/test).
Local Moon 0.1.20261012: wasm-gc/wasm/js each 47 tests; four strict check targets; three examples. No local native runtime claim.

Composition requires epsilon-free graphs and compatible semirings with commutative multiplication. DAG algorithms reject cycles across the whole graph. No epsilon filters/closure, determinization, minimization, OpenFst binary compatibility or recognition models. See README and design contracts before integration.

License: Apache-2.0; independent implementation, OpenFst/RustFST semantic references only. Original contributor attribution is preserved in history.