v1.0.0-rc.0 · Apache 2.0 · リリース候補フェーズ
物理AIのオペレーティングシステム。
分散型物理エージェントのための調整プレーン。
希少な物理リソース(変電所のキロワット、工場フロアの平方メートル、交差点の信号フェーズウィンドウ、農場のRFスペクトル)に対するリアルタイム調停。6つの標準リソースタイプ、4つの安全クラス、グレースフルテーパー型プリエンプション。
ACS v0.1 · 32ケース
1,120万 TLA+状態
6業種 · 6リソースタイプ
1973/s · p99 6 ms
課題
なぜ物理AIは1サイト、1ドメイン、1ベンダーに留まっているのか
すべての物理AIの垂直分野が独自のプロトコルを構築しました—充電器にはOCPP、ロボットにはROS、グリッド需要応答にはOpenADR、DERにはIEEE 2030.5。これらは相互に通信できません。充電器、バッテリー、ロボット、信号機を持つサイトには、共通の調停言語がありません。
ほとんどのフリートプラットフォームは、接続が切れると機能しなくなります。サイト全体の負荷分散、予測保守、緊急プリエンプションはすべて、米国のハイパースケーラーダッシュボードへの往復に依存しています。公共充電器のダウンタイムの15~25%はこの依存に起因しています。
充電ポイント事業者は1つのスタックを運用し、フリート事業者は別のスタック、サイトエネルギー運用は3つ目のスタックを運用しています。それぞれが認証、テレメトリ、RBAC、OTAアップデートを再発明しています。どのエージェントがキロワットを取得するかを決定する調整者は、契約を獲得したベンダーのサイロ内に存在します。
病院の発電機が停止した場合、EV充電器はチラーよりも先にテーパーするべきです。ロボットがフォークリフトの通路を横切る場合、フォークリフトは譲歩するべきです。既存のプラットフォームには安全クラスの概念がなく、グレースフルテーパーの仕様も監査証跡もありません—正しいことが起こったかどうかを証明するものも、起こらなかったことを証明するものもありません。
仕組み
3つのレイヤー、1つの調整プレーン、補完性の原則
K8s上の約330のGoマイクロサービス(クラウドレイヤー)—フリート分析、モデルトレーニング、連合学習の集約、マルチテナントSaaS、OCPI 2.2.1ローミング。NATS JetStream + PostgreSQL/TimescaleDB。サイトやテナントを跨ぐ長期的な意思決定を担当:モデル配布、DP-SGD下でのεバジェット会計、ビザンチン耐性のある集約。全決定の約5%。
K3s上の約56のサービス—通常、リゾルバーはここに配置されます。サイトコーディネーターは6つのACSリソースタイプにわたるクレームをアトミックに調停します。CCAR(Confidence-Calibrated Autonomous Resolution)は90%以上の信頼度で発動;ARA(Adaptive Retrieval-Augmented Reasoning)はすべての決定を権威ある技術文書に基づいて行います。P50 TTFTは28~48ms。完全にオフラインでも動作を継続します。全決定の約30%。
充電器/ロボット/信号機のファームウェア。ローカルな安全権限を保持—ハードウェアのESTOPは、調整者の往復なしに10ms以内にコンタクターを作動させます。AuralinkChargerはフルOSデプロイメント用のRust(14クレート);AuralinkAgentは既存のOCPP準拠機器用の非侵襲的なGoサイドカー。全決定の約65%がここで実行されます。
適合性 · 検証済み内容
3つのACS適合性レベルが、各コミットでエンドツーエンドで実行され、網羅的にモデルチェックされたTLA+形式モデルに対して評価されます。すべての数値はtests/conformance/内のパスに対応します。
L1 · リファレンス
9/9
リソース分類、BootClaim、claim/grant/preemptプロトコル
L2 · 安全
16/16
4つの安全クラス、TaperSpecプリエンプション、結合グループカスケード
L3 · フェデレーテッド
7/7
コーディネーター間転送、ウィットネスアンカリング、DP-SGD集約
1,120万状態
TLA+形式モデル · os/spec/formal/
1973 claims/s
L1+L2負荷 · p99 6 ms · 0クラッシュ · T8-LOAD-REPORT
805 tests
AuralinkCharger Rustファームウェア · 14クレート
機能
調整プレーンが実際に何をするのか、成熟度を正直に示します
11.2M
TLA+状態の網羅的モデルチェック(形式仕様)
28–48ms
エッジ推論のP50 TTFT;<10msの安全クラスプリエンプション
72h+
完全な機能パリティでの自律オフライン動作
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認証保留中)。
ステールポーズ検出、フェイルセーフ、e-stop統合を備えたROS 2ブリッジランタイム。Workspace + Powerリソースタイプ。2026-05-08に出荷済み。ステータス:部分的—文書化されたギャップが残っています。
OpenADR 2.0b需要応答、IEEE 2030.5 DER調整。SignalPhase + Spectrumリソースタイプ。ヘリニコンサイズおよびNEOMサイズのデプロイメント用メガプロジェクトプレイブック。ステータス:デモ。
Energy Danceデモ(`make demo-d1`)は、バッテリー、太陽光、充電負荷を単一のPowerタイプクレームスペースで調整します。ステータス:部分的。
Modbus TCPマスターリファレンスアダプター。OPC UAは仕様に含まれており、実装予定。Spectrum + TimeSlot + Powerリソースタイプ。ステータス:デモ(OPC UAは計画中)。
HVAC Power + Lighting SignalPhaseの構成。スマートビルディングSDKは2026年5月に出荷—コーディネーターが暖房/冷房の電力需要と照明スケジューリングの間を調停します。
ACS v0.1 概要
Auralink Coordination Specification(ACS v0.1)は、すべての実装—コーディネーター、充電器、ロボット、信号機—が使用する小規模で規範的な語彙を定義します。以下は、この仕様が仲裁するプリミティブです。
RESOURCE変電所、バスバー、フィーダー、または単一の充電器コンタクター上のワット。ハードな物理的上限を持つ階層的なバス間でクレームが構成されます。
RESOURCE工場の床面や交差点の平方メートル。ロボットAGVの予約や交通優先制御のためのプリミティブ。
RESOURCE信号機の時間枠。緊急車両の優先制御、公共交通の優先リクエスト、需要応答型タイミングを仲裁します。
RESOURCERFチャネル + 帯域幅 + 時間。混在する5G/LoRa/Wi-Fi環境—農場、港、メガプロジェクト—のためのプリミティブ。
RESOURCE共有物理アセット(生産セル、ロボットアーム、ドック)上の離散的なスケジュール済みインターバル。エネルギーを考慮したスケジュールのためにPowerと組み合わせ可能。
RESOURCEOCPIローミング、仮想エネルギークレジット、V2G決済、カーボン割り当てのための帳簿管理プリミティブ。「ソフト」なリソースタイプ。
CLASS 1ハードウェアのESTOP、病院のバックアップ負荷、生命安全の優先制御。10ミリ秒以内に発動し、コーディネーターの往復をバイパスします。
CLASS 2熱暴走防止、衝突回避、グリッド安定性の保持。優先およびルーチンを即座に優先し、完全な監査証跡を提供します。
CLASS 3公共交通車両の信号優先、フリート充電器のSLA、メガプロジェクトの納期。TaperSpecを介してルーチンクレームを優雅にテーパリングします。
CLASS 4バックグラウンド充電、アイドルロボットの予約、オフピーク需要。より高いクラスがクレームすると最初にテーパリングされます。オプトインワークロードのデフォルト。
サプライチェーンの信頼
イメージ署名
Releaseで構築されたすべてのイメージはcosign署名されています。Sigstoreアドミッションコントローラーは、クラスターレベルで未署名のデプロイをブロックします。
Provenance + SBOM
すべてのイメージにSLSA-provenance証明。SBOM証明。scripts/verify-image.shが両方のチェックを連鎖させ、下流の検証に使用します。
監査チェーン
すべてのclaim+grant+preemptionはテナントごとにSHA-256連鎖されます。定期的なEd25519ウィットネスアンカーがNATS経由で外部証明のために公開されます。
鍵保管
ウィットネスアンカー署名者はプラガブルです。オペレーター管理のラップキーを使用したSealed-at-rest Ed25519鍵ファイル。ハードウェアプラガブル:TPM 2.0 / KMS / Vault Transitすべてが同じインターフェースを提供します。
トランスポート
SDK + コーディネーター + distroすべてがペアになったfile-PEMマウントを使用します。coord_tls_enabled Prometheusメトリック。
シークレット
URIディスパッチャー(vault:// · file:// · env:// · literal:)を介したアダプター認証情報の解決。K8s ExternalSecretとESO + Vault。
詳細
Auralinkの詳細を掘り下げます。アクセスにはNDAが必要です。
これらの文書には、独自のアーキテクチャの詳細、ベンチマーク、実装の具体的な内容が含まれています。簡単なNDAが両者を保護します。
なぜ調整プレーンが分散型物理AIにとって欠かせないプリミティブなのか、そしてEV/ロボティクス/スマートシティ/IIoTにどのような可能性をもたらすのか。
ACS v0.1—6つの標準リソースタイプ、4つの安全クラス、グレースフルテーパープリエンプション、差分プライバシー下での連合学習。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を進行中—5つの運用マッピングドメイン全体でパートナーを募集中。
OCPP 2.0.1/1.6Jに対応済み、OCPI 2.2.1ローミング、ISO 15118-2/-20フレームワーク。EV充電ドメインは最も運用が成熟した領域です—CPOパートナーとのライブネットワーク導入の準備が整っています。
ROS 2ブリッジランタイムは、ステールポーズ検出、フェイルセーフ、e-stop統合を備え、2026-05-08に出荷済み。OpenADR 2.0b + IEEE 2030.5のデモを実施。ヘリニコンサイズ(地中海型複合用途)およびNEOMサイズ(超大規模産業)のメガプロジェクトプレイブックがapps/city/配下で利用可能。
調整仕様(ACS v0.1)は標準的かつ安定しています;破壊的変更にはRFCと90日の移行期間が必要です。独自のコーディネーターを構築したり、SDKを組み込んだり、リファレンス実装を実行したりできます—Apache 2.0、フィールドデプロイメントのロックインなし。
ロードマップ
Auralink v1.0は2026年にApache 2.0ライセンスでオープンソースとして出荷されました。調整プレーンの次の展開について。
6つのリソースタイプ、4つの安全クラス、テーパープリエンプションの標準仕様。Goでのリファレンスコーディネーター。TLA+形式モデルは1,120万の状態に対して検証済み。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オーケストレーション(双方向電力)、差分プライバシー下での大規模連合学習、数千サイトにわたるビザンチン耐性のある集約、カーボントラッキング(Scope 1/2/3)、量子耐性暗号(NIST PQC移行)。
本番環境の物理AIインフラを構築するか、ライブネットワークにAuralinkを導入していますか?Hyperionコンサルティングは、パイロット検証、本番環境の強化、EU AI Act準拠、および完全な統合エンジagementをカバーします。
AIパイロットの70%は本番環境に到達しない。成功する30%のプレイブックを手に入れよう。
いつでも購読解除できます。スパムは一切ありません。