doc_examples 设计

职责

三语文档共享示例的可执行归宿。

数据流

MoonBit check 代码块覆盖受支持的二进制、十进制、GDA、区间、checked、semantic、expression 与 frontend 工作流。

算法与不变量

示例是紧凑的合同 witness；大规模矩阵和性能测量不放在这里。

失败与副作用

该包只在测试中运行，不执行文件系统或进程副作用。

实现取舍

集中示例可防止翻译漂移，同时允许各语言自然解释同一行为。

稳定性

本包作为仓库基础设施维护；生成声明可能随 runner 演进，不承诺下游兼容性。