> ## Documentation Index
> Fetch the complete documentation index at: https://all.mimedal.cn/llms.txt
> Use this file to discover all available pages before exploring further.

# 协议概述

> 说明 ALL 负责什么、FSP 负责什么，以及两者如何配合。

ALL 把实验目标转换为可编译、可仿真并可执行的程序。ALL 语言引擎负责生成和验证程序；FSP 约束语言引擎与已配置设备之间的接口规则。

| 模块     | 职责                                              |
| ------ | ----------------------------------------------- |
| 编译/解释器 | 把实验目标、容器状态和 FSP 设备定义转换为参数类型明确的执行步骤              |
| 仿真器    | 在不影响真实设备的测试环境中验证参数、状态变化、系统安全限制和完成条件             |
| 执行器    | 通过符合 FSP 的设备接口执行已通过仿真的程序，并核验实际结果                |
| FSP    | 用动作契约、能力门控和适配器实现设备服务，并要求厂商设备接口包含操作、对象和系统三个维度的内容 |

## 主交互

```text theme={null}
实验目标与容器状态
  → 编译/解释
  → 仿真验证
  → 执行器运行时检查
  → 符合 FSP 的设备接口
  → 设备实际结果、状态与注意事项
```

设备可以保留原有 API、SDK 或驱动；适配层负责映射，设备不负责解释实验目标。