v1.0.0-rc.0 · Apache 2.0 · 发布候选阶段
面向物理 AI 的操作系统。
面向分布式物理智能体的协调层。
对稀缺物理资源进行实时仲裁——变电站上的千瓦、车间地面的平方米、路口的信号相位窗口、农场上的射频频谱。六种规范化资源类型、四个安全等级、平滑递减式抢占。
ACS v0.1 · 32 个用例
1120 万个 TLA+ 状态
6 个垂直领域 · 6 种资源类型
1973/秒 · p99 6 毫秒
问题所在
为何物理 AI 始终困于单一站点、单一领域、单一供应商
每个物理 AI 垂直领域都构建了自己的协议——充电桩用 OCPP、机器人用 ROS、电网需求响应用 OpenADR、分布式能源用 IEEE 2030.5。它们彼此之间无法通信。一个同时部署了充电桩、电池、机器人和信号灯的站点,没有共同的仲裁语言。
大多数车队平台在网络连接一中断便立即瘫痪。全站负载均衡、预测性维护和紧急抢占全都依赖于与某个美国超大规模云厂商仪表盘之间的往返通信。公共充电桩 15–25% 的停机时间可追溯至这种依赖。
充电运营商运行一套栈。车队运营商运行另一套。站点能源运维运行第三套。每一方都在重复造轮子,各自实现鉴权、遥测、RBAC 和 OTA 更新。决定哪个智能体获得这一千瓦的协调器,被锁死在拿下合同的那家供应商的孤岛之内。
当医院发电机跳闸时,EV 充电桩应当先于冷水机组降功率。当机器人穿越叉车通道时,叉车应当让行。现有平台没有安全等级的概念,没有平滑递减规范,也没有能证明正确处置(或未能正确处置)的审计记录。
工作原理
三层、一个协调层、辅助性原则
在 K8s 上运行约 330 个 Go 微服务(云层)——车队分析、模型训练、联邦学习聚合、多租户 SaaS、OCPI 2.2.1 漫游。NATS JetStream + PostgreSQL/TimescaleDB。负责跨站点、跨租户的长周期决策:模型分发、DP-SGD 下的 ε 预算核算、拜占庭鲁棒聚合。约占决策总量的 5%。
在 K3s 上运行约 56 个服务——解析器通常驻留于此。站点协调器对六种 ACS 资源类型的请求进行原子化仲裁。CCAR(置信度校准自主解析)在置信度 ≥90% 时触发;ARA(自适应检索增强推理)将每项决策都锚定在权威技术文档之上。P50 TTFT 28–48 毫秒。可完全离线持续运行。约占决策总量的 30%。
充电桩 / 机器人 / 信号灯固件。掌握本地安全控制权——硬件 ESTOP 可在 10 毫秒内触发接触器,完全独立于任何协调器往返通信。AuralinkCharger 采用 Rust 编写(14 个 crate),用于全 OS 部署;AuralinkAgent 采用 Go 编写,作为非侵入式 sidecar 适配既有符合 OCPP 标准的设备。约 65% 的决策在此执行。
一致性 · 已验证内容
三个 ACS 一致性等级在每次提交时端到端运行,针对一个已经过穷尽式模型检查的 TLA+ 形式化模型。每个数字都对应 tests/conformance/ 中的一条路径。
L1 · 参考实现
9/9
资源分类法、BootClaim、请求/授予/抢占协议
L2 · 安全
16/16
四个安全等级、TaperSpec 抢占、耦合组级联
L3 · 联邦
7/7
跨协调器转发、见证锚定、DP-SGD 聚合
1120 万个状态
TLA+ 形式化模型 · os/spec/formal/
1973 请求/秒
L1+L2 负载 · p99 6 毫秒 · 0 次崩溃 · T8-LOAD-REPORT
805 项测试
AuralinkCharger Rust 固件 · 14 个 crate
能力
协调层的实际功能,并如实陈述其成熟度
1120 万
经穷尽式模型检查的 TLA+ 状态(形式化规范)
28–48 毫秒
边缘推理 P50 TTFT;安全等级抢占 <10 毫秒
72 小时以上
自主离线运行,功能完全对等
5
领域:EV 充电、机器人、智慧城市、能源、IIoT
6
ACS v0.1 中的规范化资源类型(Power、Workspace、SignalPhase、Spectrum、TimeSlot、Token)
4
具备平滑递减式抢占(TaperSpec)+ SHA-256 审计链的安全等级
Domains
同一协议在所有这些领域中仲裁请求。成熟度按 ACS 一致性矩阵如实陈述。
OCPP 2.0.1(全部 48 种消息类型)、OCPP 1.6J 回退、OCPI 2.2.1 漫游、ISO 15118-2/-20 框架。Power + Token 资源类型。运营成熟度最高的层面。状态:已实现(OCTT 认证待定)。
ROS 2 桥接运行时,具备失效位姿检测、失效保护和急停集成。Workspace + Power 资源类型。已于 2026-05-08 交付。状态:部分实现——仍存在已记录的缺口。
OpenADR 2.0b 需求响应、IEEE 2030.5 分布式能源协调。SignalPhase + Spectrum 资源类型。面向 Hellinikon 与 NEOM 型部署的超大型项目实施手册。状态:演示。
Energy Dance 演示(`make demo-d1`)在单一 Power 类型请求空间内协调电池、光伏和充电负载。状态:部分实现。
Modbus TCP 主站参考适配器。OPC UA 已在规范中,计划予以实现。Spectrum + TimeSlot + Power 资源类型。状态:演示(OPC UA 计划中)。
HVAC Power + 照明 SignalPhase 组合。智慧楼宇 SDK 已于 2026 年 5 月交付——协调器在供暖/制冷功率需求与照明调度之间进行仲裁。
ACS v0.1 概览
Auralink 协调规范(ACS v0.1)定义了一套精简的规范化词汇,每个实现——协调器、充电桩、机器人、信号灯——都使用它。下文列出规范所仲裁的各项原语。
资源变电站、母线、馈线或单个充电桩接触器上的瓦数。请求可在分层母线之间组合,并受硬性物理上限约束。
资源车间地面的立方米或路口的平方米。机器人 AGV 预留与交通抢占的原语。
资源交通信号灯上的时间窗口。用于仲裁紧急车辆抢占、公交优先请求和需求响应式配时。
资源射频信道 + 带宽 + 时间。共享无线电环境的原语——农场、港口,以及混用 5G/LoRa/Wi-Fi 的超大型项目。
资源共享物理资产(生产单元、机械臂、泊位)上的离散调度时段。可与 Power 组合,实现能耗感知调度。
资源用于 OCPI 漫游、虚拟能源积分、V2G 结算、碳分配的记账原语。属于“软”资源类型。
等级 1硬件 ESTOP、医院备用负载、生命安全抢占。在 10 毫秒内触发,绕过协调器往返通信。
等级 2热失控预防、碰撞规避、电网稳定保持。立即抢占 priority 与 routine,并附带完整审计记录。
等级 3公交车辆信号优先、车队充电桩 SLA、超大型项目交付窗口。通过 TaperSpec 平滑递减 routine 类请求。
等级 4后台充电、空闲机器人预留、非高峰需求。当更高等级发起请求时最先递减。选择性接入工作负载的默认等级。
供应链信任
镜像签名
每个 Release 构建的镜像都经过 cosign 签名。Sigstore 准入控制器在集群层面拦截未签名的部署。
来源证明 + SBOM
每个镜像都附带 SLSA 来源证明。SBOM 证明。scripts/verify-image.sh 将两项检查串联,供下游验证。
审计链
每一次请求+授予+抢占都按租户进行 SHA-256 链式记录。通过 NATS 周期性发布 Ed25519 见证锚,供外部证明。
密钥托管
见证锚签名器可插拔。采用静态封存的 Ed25519 密钥文件,配合运营方管理的包装密钥。硬件可插拔:TPM 2.0 / KMS / Vault Transit 均对接同一接口。
传输
SDK + 协调器 + 发行版均使用成对挂载的 file-PEM。coord_tls_enabled Prometheus 指标。
机密
通过 URI 分发器解析适配器凭据(vault:// · file:// · env:// · literal:)。配合 ESO + Vault 的 K8s ExternalSecret。
深入了解
深入了解 Auralink。访问需签署 NDA。
这些文档包含专有架构细节、基准测试和实现细节。一份简短的 NDA 可保护双方权益。
为何协调层是分布式物理 AI 缺失的那个原语,以及它在 EV / 机器人 / 智慧城市 / IIoT 领域所能释放的价值。
ACS v0.1——六种规范化资源类型、四个安全等级、平滑递减式抢占、差分隐私下的联邦学习。附 TLA+ 形式化模型。
完整系统架构:约 330 个云层服务、约 56 个边缘服务、用 Rust 编写的充电桩 OS、用 Go 编写的智能体捆绑包、部署拓扑、RAG 主干、超大型项目实施手册。
源代码
查看 GitHub 代码仓库和 HuggingFace 模型。须先接受 NDA。
请先签署 NDA,再申请代码访问权限。
合作
Apache 2.0,当前支持 OCPP 2.0.1 + 1.6J,ROS 2 桥接已交付,OpenADR 2.0b + IEEE 2030.5 进行中——正在五个已完成运营映射的领域寻找合作伙伴。
当前支持 OCPP 2.0.1 / 1.6J、OCPI 2.2.1 漫游、ISO 15118-2/-20 框架。EV 充电领域是运营成熟度最高的层面——已可与 CPO 合作伙伴进行实网部署。
ROS 2 桥接已于 2026-05-08 交付,具备失效位姿 / 失效保护 / 急停功能。OpenADR 2.0b + IEEE 2030.5 演示已运行。面向 Hellinikon 型(地中海混合用途)与 NEOM 型(超大规模工业)部署的超大型项目实施手册,已上线于 apps/city/ 之下。
协调规范(ACS v0.1)规范且稳定;破坏性变更须经 RFC 流程及 90 天窗口期。构建你自己的协调器、嵌入我们的 SDK,或运行参考实现——Apache 2.0,现场部署无锁定。
路线图
Auralink v1.0 已于 2026 年以 Apache 2.0 开源发布。协调层接下来的走向。
面向六种资源类型、四个安全等级、递减式抢占的规范化规范。用 Go 编写的参考协调器。TLA+ 形式化模型已跨 1120 万个状态完成校验。OCPP 2.0.1 + 1.6J、OCPI 2.2.1 漫游、ISO 15118 框架。带失效保护的 ROS 2 桥接。采用 Apache 2.0 许可。
与 CPO 合作伙伴进行 OCPP 2.0.1 实网测试。OCTT 认证及 ISO 15118 互操作。在 NXP i.MX8M Plus(充电桩)、AMD Ryzen AI Max+ 和 NVIDIA DGX Spark(边缘)上进行硬件验证。首个超大型项目实施手册现场试运行。
智慧城市 OpenADR 2.0b + IEEE 2030.5 从演示阶段晋升为已实现。IIoT OPC UA 适配器从计划中晋升为演示阶段。BESS+光伏全站能源从部分实现晋升为已实现。用于嵌入 ACS 客户端的开发者 SDK(Python / TypeScript / Go)。
V2G 编排(双向功率)、规模化的差分隐私联邦学习、跨数千个站点的拜占庭鲁棒聚合、碳追踪(范围 1/2/3)、抗量子密码(NIST PQC 迁移)。
正在构建生产级物理 AI 基础设施,或在实网上部署 Auralink?Hyperion 咨询涵盖试点验证、生产强化、EU AI Act 合规以及全套集成项目。
70% 的 AI 试点从未走向生产。获取助力那 30% 成功交付的实战手册。
随时可取消订阅。绝无垃圾邮件。