システム/デプロイ2026/5/1arXiv:2605.28097

ICAN-Deploy: 安全性が重要な具現化エージェントのためのアイデンティティ安定カナリアデプロイ

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents

カナリアデプロイ中にシステムの暗号アイデンティティが変化する問題を解決するため、能力名とバージョンを分離してアイデンティティ不変性を保つミドルウェアを提案し、ロボット制御システムで検証した。

詳しい要約

1. どんなもの？

- 安全クリティカルなembodied agents向けのcanary deployment手法「ICAN-Deploy」を提案。 - 従来のcanary deploymentでは、canary期間中にシステムの暗号学的identityが変化し、認証済みエージェントの同一性が損なわれる問題を解決。 - capability names（凍結・ハッシュ化）とcapability versions（可変ランタイム状態）を分離することで、identity hashをcanary期間中不変に保つmiddlewareを構築。 - LLM駆動ロボットのruntime governance layerに実装し、Franka Panda armとMuJoCoで検証。

2. 先行研究と比べてどこがすごい？

- 主流のcanary controller（Argo Rollouts, Spinnaker, Flagger）はcanary中に暗号学的identityを変更し、安全クリティカルなembodied agentsでは再認証が必要となる。 - ICAN-Deployはidentity hashを不変に保つため、一度の認証でcapability evolutionを出荷可能。 - 従来手法はstateless microservicesでは無害だが、embodied agentsでは認証の主張が崩れる点を指摘し、それを解決。

3. 技術・手法の肝は？

- 状態機械により、capability names（凍結・ハッシュ化）とcapability versions（可変ランタイム状態）を分離。 - identity hashをcanary期間中不変に保つmiddlewareを構築。 - 検証はclosed-form proof、AST lint、TLA+ model-checkingで実施。 - 実装はLLM駆動ロボットのruntime governance layer内。

4. どうやって有効だと検証した？

- N=100の実canaryサイクルをFranka Panda armとMuJoCoで実施。 - ゼロドリフトを確認、entry latencyの95% BCa CIは[1.52, 2.01] ms。 - バージョンをマニフェストに折り込むfeature-flagged strawmanは同じワークロードで失敗（falsify）。 - closed-form proof、AST lint、TLA+ model-checkingによる検証も実施。

5. 議論はある？

- 要旨からは不明。 - ただし、identity-stableなcanary deploymentが安全クリティカルなembodied agentsの認証問題を解決する可能性を示唆。 - 制限や議論については言及なし。

6. 次に読むべき論文は？

- Argo Rollouts, Spinnaker, Flagger（主流のcanary controller） - TLA+ model-checking - MuJoCo - Franka Panda arm - LLM-driven robotsのruntime governance

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Xue Qin, Simin Luan, John See, Zeyd Boukhers, Cong Yang, Zhijun Li

分類: cs.RO

原文アブストラクト

Canary deployment routes a fraction of traffic to a new software version, monitors metrics, and rolls back on regression. Mainstream controllers (Argo Rollouts, Spinnaker, Flagger) change the deployed system's cryptographic identity during the canary window. The drift is harmless for stateless microservices but breaks the claim that "the agent you certified is still the agent you have" for safety-critical embodied agents, forcing re-certification per canary. We present ICAN-Deploy (Identity-stable CANary Deployment), a middleware construction whose state machine holds the identity hash invariant across the canary window by separating capability names (frozen, hashed) from capability versions (mutable runtime state). We implement ICAN-Deploy inside a runtime governance layer for LLM-driven robots and verify invariance by closed-form proof, AST lint, and TLA+ model-checking, then corroborate over N=100 real canary cycles on a Franka Panda arm in MuJoCo (zero drift; entry latency 95% BCa CI [1.52, 2.01] ms). A feature-flagged strawman that folds versions into the manifest falsifies on the same workload. A system certified once at identity-creation time can then ship arbitrary capability evolution under that same certification, within the version-and-name envelope.

arXivで原文を読む →arXiv概要ページ

← 論文一覧