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

# 规范索引

> ALL 规范正文及实现边界

Automation Laboratory Language（ALL，自动化实验室语言）定义实验意图、可计算实验方法与物理设备能力之间的统一通信约定。Function State Protocol（FSP，函数状态协议）是 ALL 内部面向设备通信的协议。

<CardGroup cols={2}>
  <Card title="协议概述" href="/specification/overview">了解 ALL、FSP 及规范边界。</Card>
  <Card title="基础协议" href="/specification/base-protocol">远程连接、消息、版本、结果和诊断。</Card>
  <Card title="FSP 概述" href="/specification/fsp/overview">设备技能、请求分类与渐进式披露。</Card>
  <Card title="设备发现" href="/specification/fsp/capabilities">发现设备并按需获取技能定义。</Card>
  <Card title="接口定义" href="/specification/device-integration/overview">从对象、控制和系统三个维度说明设备接口。</Card>
  <Card title="设备能力" href="/specification/capability/overview">生成、质检并准入设备技能。</Card>
  <Card title="对象" href="/specification/fsp/objects">表达实验器皿、样品、状态、证据与来源。</Card>
  <Card title="实验方法" href="/specification/methods/overview">生成、验证、绑定和执行可计算方法。</Card>
  <Card title="错误与诊断" href="/specification/errors">统一错误代码、状态与恢复语义。</Card>
  <Card title="安全要求" href="/specification/security-and-safety">约束、围栏、锁和审计。</Card>
  <Card title="符合性" href="/specification/conformance">实现声明和最小测试要求。</Card>
</CardGroup>

## 规范边界

本规范只约束对外可观察的接口、数据结构和行为，不规定设备内部驱动、控制器、数据库或队列实现。能力定义、方法结构、校验产物和执行计划均在正文中完整定义；具体设备和值仅作为非规范性组合示例。
