# MoonSmith 术语索引

项目概念由所属提案定义，本页只提供名称与定义位置。定义规则见 [FP-0000](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0000-governance.md#术语定义与引用>)，机器可读的定义归属见 [fps-index.json](<https://github.com/zrr1999/moonsmith/blob/main/fps-index.json>)中各提案的 `defines`。这里的概念不要求对应同名类型、包或算法；当前 API 和实现边界见各模块 README。

## 提案与模块边界

| 术语 | 英文 | 定义来源 |
| --- | --- | --- |
| 提案 | Feature Proposal（FP） | [FP-0000](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0000-governance.md#term-feature-proposal>) |
| 模块 | module | [FP-0001](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0001-workspace-modules.md#term-module>) |
| 包 | package | [FP-0001](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0001-workspace-modules.md#term-package>) |
| 通用引擎 | Engine | [FP-0001](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0001-workspace-modules.md#term-engine>) |
| 语言适配器 | language adapter | [FP-0001](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0001-workspace-modules.md#term-language-adapter>) |
| 应用装配层 | application layer | [FP-0001](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0001-workspace-modules.md#term-application-layer>) |
| 宿主环境访问层 | Host | [FP-0001](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0001-workspace-modules.md#term-host>) |
| 共享契约 | shared contracts | [FP-0001](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0001-workspace-modules.md#term-shared-contracts>) |

## MoonBit 程序与语义

| 术语 | 英文 | 定义来源 |
| --- | --- | --- |
| MoonBit 程序 | MoonBit program | [FP-0002](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0002-moonbit-semantic-contract.md#term-moonbit-program>) |
| 程序模板 | program template | [FP-0002](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0002-moonbit-semantic-contract.md#term-program-template>) |
| 静态合法性 | well-formedness | [FP-0002](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0002-moonbit-semantic-contract.md#term-program-well-formedness>) |
| 等价程序组 | equivalent program group | [FP-0002](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0002-moonbit-semantic-contract.md#term-equivalent-program-group>) |
| 观察协议 | observation protocol | [FP-0002](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0002-moonbit-semantic-contract.md#term-observation-protocol>) |

## 案例、证据与判断

| 术语 | 英文 | 定义来源 |
| --- | --- | --- |
| 案例 | case | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-case>) |
| 工作请求 | work request | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-work-request>) |
| 执行证据 | execution evidence | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-execution-evidence>) |
| 判定方法 | Oracle | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-oracle>) |
| 案例评估 | assessment | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-assessment>) |
| 失败判据 | failure predicate | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-failure-predicate>) |
| 指纹 | fingerprint | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-fingerprint>) |

## 归约与复现

| 术语 | 英文 | 定义来源 |
| --- | --- | --- |
| 语言操作 | language operation | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-language-operation>) |
| 搜索范围 | search scope | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-search-scope>) |
| 范围遍历 | scope traversal | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-scope-traversal>) |
| 操作调度 | operation scheduling | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-operation-scheduling>) |
| 局部搜索 | local search | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-local-search>) |
| 归约目标度量 | reduction objective | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-reduction-objective>) |
| 归约接受规则 | reduction acceptance | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-reduction-acceptance>) |
| 公共归约引擎（公共引擎） | reduction engine | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-reduction-engine>) |
| 确认 | confirmation | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-confirmation>) |
| 案例重放 | case replay | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-case-replay>) |
| 搜索状态恢复 | search state recovery | [FP-0004](<https://github.com/zrr1999/moonsmith/blob/main/fps/FP-0004-engine-execution-contract.md#term-search-state-recovery>) |