開発ノート

Hashimoto の Superlogical、Herdr、そして私たち——ターミナル信頼スペクトラム、三つの賭け

2026 年 7 月末、HashiCorp 共同創業者で Ghostty の作者でもある Mitchell Hashimoto が新会社 Superlogical の設立を発表した。最初のプロダクトは server-side のターミナルマルチプレクサだ。同じ夏、ローカルターミナルの側では Herdr が勢いを増し、私たちの OpenAB Connect は反対側でリリースされた。三つとも同じ問いに答えている——AI エージェントがターミナルの常駐者になったとき、セッションはどこに住み、どこまで信頼されるべきか?——そして、それぞれ違う答えに賭けた。

一本のスペクトラム、二本の軸

「セッションがどこに住むか」で並べると、Herdr はあなたのターミナルの中、 Superlogical は環境を横断する server-side の daemon、OpenAB Connect は WireGuard tailnet の向こうのリモートのサンドボックスコンテナになる。「信頼の前提」で並べ直しても 順序は変わらない。Herdr はセッションを全面的に信頼し(中身はあなた自身だ)、Superlogical は信頼 モデルを未公表のままにし、OpenAB Connect は初日から中身を信頼しない前提に立つ。二本の軸が同じ 一本のスペクトラムを描く——Herdr と OpenAB Connect が両極、Superlogical がちょうど中間だ。

HerdrSuperlogicalOpenAB Connect
セッションの住処ローカルの daemon(SSH リモートモードあり)server-side の daemon。ローカル/リモート/production を横断する構想リモートのサンドボックスコンテナ(k8s pod/ECS task)
信頼の前提全面的に信頼——あなたの身分であなたのプロセスを実行未公表——認証・権限分離・監査はすべて未定ゼロトラスト——中身を信頼しない前提
隔離なし(あなたの環境をそのまま保つことが売り)なし(daemon があなたの権限をそのまま持つ)uid 1000、sudo なし、read-only rootfs、SA トークンなし
クレデンシャルモデルなし(ローカルの socket API)未発表初日から:管理面と接続面を分離。セッション毎トークンは TTL 付き、署名鍵なし
エージェント状態のセマンティクス一級市民:blocked/working/done、socket API でエージェント同士が編成構想段階(三段階ビジョンの第三段)なし——意図的に扱わない。エージェントのセマンティクスは openab 本体の領分
再接続切断をまたいで存続(ホストの電源断はまたがない)画面スナップショット+raw stream の続行。完全な端末状態リングバッファの再生。状態のセマンティクスは薄い
体感レイテンシローカルなので問題にならないクライアント内蔵の libghostty が自前で描画し、設計上サーバーと分離(未計測)クライアント次第。runtime 自測 1.0 ms、WiFi のラップトップから 78–82 ms
成熟度現在利用可能、オープンソースpre-beta。waitlist のみ、ベンチマークも仕様もなしPhase 1。k3s と ECS Fargate で実運用中
賭けているものオーケストレーション永続性信頼
手放しているもの隔離と、ホストを越えた永続性信頼モデル(今のところ)環境の自由度と、端末状態のセマンティクス

Herdr——オーケストレーションを極め、隔離はゼロ

Herdr は、いま使っているターミナルの中で動くエージェントマルチプレクサだ(Rust + Ratatui、 オープンソース)。エージェントはランタイムの一級市民で、サイドバーには各エージェントが blocked か working か done かがリアルタイムに並ぶ。socket API を通じて、エージェント自身が pane を開き、 互いの出力を読み、互いを待てる。セッションは daemon の中で切断をまたいで生き続けるが、ホストの 電源断はまたがない。SSH リモートモードで他のマシンにも届く。

すべてはあなたの身分で、あなたのマシンの上で動く。隔離ゼロは欠陥ではなく売りだ——シェルも SSH 設定もフォントもキーバインドも、そのまま使える。Herdr の賭けはオーケストレーション: マルチエージェント時代に一番価値があるのは、エージェント状態のリアルタイムな可視性だという賭けだ。

Superlogical——永続性を極め、信頼は空欄

Superlogical はセッションをターミナルから引き剥がし、server-side の daemon に移す。daemon が PTY を持ち、libghostty で出力を権威ある状態(authoritative state)にパースしながら、同じ raw bytes をそのまま各クライアントに配る。クライアントは同じ libghostty を内蔵し、自分でパースし自分で描画 する。再接続時は daemon が PTY を一時停止して画面のスナップショットを送り、クライアントの準備が できてから raw stream を再開する。構想は、ローカルもリモートもサンドボックスも production も横断 する「multiplexer for all work」だ。

Superlogical の賭けは永続性:どのクライアントからも独立したセッションという 持続層こそ、いちばん価値のある抽象だという賭けだ——かつて Terraform が state 層に賭けたのと同じ 種類の賭けである。ただし現状は正確に言っておく。本稿の時点であるのは waitlist だけで、ベンチマーク も、プロトコル仕様もない。そして認証・権限分離・監査という production の必需品は、一つも発表されて いない。永続性は極限まで押し込み、信頼はまるごと空欄だ。

OpenAB Connect——信頼を極め、環境は固定

私たちは反対側の極に賭けた。Connect がつなぐシェルは、意図的に無権限にしたコンテナに住む。 uid 1000、sudo なし、read-only rootfs、service-account トークンなし、ワークスペースはセッションと ともに破棄される。クレデンシャルモデルは初日からある。管理面と接続面は分離され、セッション毎の トークンは TTL 付きで署名鍵を持たない——乗っ取られたシェルが loopback から管理 API を叩いても 返るのは 401 で、これは敵対テストが明示的に検証している不変条件だ。経路全体は WireGuard tailnet の上を通り、runtime はルーティング可能なアドレスでは決して待ち受けない (runtime は MIT ライセンスのオープンソース)。

私たちの賭けは信頼:エージェントは暴走するし、シェルは騙される。だから環境は、 中身を信頼できないものとして扱わなければならない、という賭けだ。コストも率直に言う。環境は固定され、 raw byte pipe のアーキテクチャでは体感レイテンシがほぼクライアント側で決まる——runtime は自分の ホストからのエコーレイテンシを 1.0 ms、WiFi のラップトップからは 78–82 ms と計測している。 Superlogical のクライアント側 state rendering が正面から解こうとしているのは、まさに私たちが README で最大のギャップだと認めている部分だ。

三つの賭け、三つの層

面白いのは、三つが互いを排除しないことだ。Herdr 式のエージェント状態インターフェースが、 Superlogical 式の永続セッションの上で動き、そのセッションが OpenAB 式のサンドボックスに住む—— オーケストレーション、永続性、信頼は、それぞれ別の層を解いている。いまは三つのプロダクトが、 それぞれの端から中間に向かって伸びている途中にすぎない。

中間に立つことは、両側から挟まれることでもある。ローカルの編成では Herdr の即時性に敵わず、 ゼロトラストのサンドボックスについては安全モデルがまだ卓上にない。Hashimoto は durable session という層そのものが総取りすると賭けている。私たちは、エージェントが本当に野に放たれた日に、 誰もが最初に問うのは——それは何に届くのか?——だと賭けている。