MoonSmith 术语索引¶
项目概念由所属提案定义，本页只提供名称与定义位置。定义规则见 FP-0000，机器可读的定义归属见 fps-index.json中各提案的 defines。这里的概念不要求对应同名类型、包或算法；当前 API 和实现边界见各模块 README。
提案与模块边界¶
| 术语 | 英文 | 定义来源 |
|---|---|---|
| 提案 | Feature Proposal（FP） | FP-0000 |
| 模块 | module | FP-0001 |
| 包 | package | FP-0001 |
| 通用引擎 | Engine | FP-0001 |
| 语言适配器 | language adapter | FP-0001 |
| 应用装配层 | application layer | FP-0001 |
| 宿主环境访问层 | Host | FP-0001 |
| 共享契约 | shared contracts | FP-0001 |
MoonBit 程序与语义¶
| 术语 | 英文 | 定义来源 |
|---|---|---|
| MoonBit 程序 | MoonBit program | FP-0002 |
| 程序模板 | program template | FP-0002 |
| 静态合法性 | well-formedness | FP-0002 |
| 等价程序组 | equivalent program group | FP-0002 |
| 观察协议 | observation protocol | FP-0002 |
案例、证据与判断¶
| 术语 | 英文 | 定义来源 |
|---|---|---|
| 案例 | case | FP-0004 |
| 工作请求 | work request | FP-0004 |
| 执行证据 | execution evidence | FP-0004 |
| 判定方法 | Oracle | FP-0004 |
| 案例评估 | assessment | FP-0004 |
| 失败判据 | failure predicate | FP-0004 |
| 指纹 | fingerprint | FP-0004 |
归约与复现¶
| 术语 | 英文 | 定义来源 |
|---|---|---|
| 语言操作 | language operation | FP-0004 |
| 搜索范围 | search scope | FP-0004 |
| 范围遍历 | scope traversal | FP-0004 |
| 操作调度 | operation scheduling | FP-0004 |
| 局部搜索 | local search | FP-0004 |
| 归约目标度量 | reduction objective | FP-0004 |
| 归约接受规则 | reduction acceptance | FP-0004 |
| 公共归约引擎（公共引擎） | reduction engine | FP-0004 |
| 确认 | confirmation | FP-0004 |
| 案例重放 | case replay | FP-0004 |
| 搜索状态恢复 | search state recovery | FP-0004 |