本文へ移動
ORBITRAONE
CortexOrbitra Prime

ポリシー制約付きAI取引とインテリジェンス

モデルが提案し、ポリシーが決定する。

Cortexは、ORBITRA ONE™のエージェント実行環境およびポリシーエンジンです。エージェントは市場とポートフォリオを観察し、モデルアンサンブルで推論し、取引インテントを提案します——しかし、Aegisがそれをシミュレートし、ポリシーエンジンが承認するまでは、いかなるインテントも注文にはなりません。ループを一巡するたびに、アクションレシートが残ります。トレーダー側から見たこの体験については、Cortexインテリジェンスで説明しています。

動作の流れ

ループと八つのゲート

説明図: 統制されたエージェントのループ。市場とポートフォリオを観察し、モデルアンサンブルで推論し、取引の意図を提案し、Aegisで試算し、ポリシーエンジンを通じて承認し、ApexMatchで実行する。ループの周囲には八つのポリシーゲート――資本、損失、レバレッジ、市場、時間、人による確認、データソース、一つの命令による緊急停止――が配置されている。
Cortex
  1. 01観察市場とポートフォリオ
  2. 02推論モデルアンサンブル
  3. 03提案取引の意図
  4. 04試算Aegisによるリスク評価
  5. 05承認ポリシーエンジン
  6. 06実行ApexMatch
  • 資本最大配分
  • 損失日次および累計の上限
  • レバレッジ商品ごとの上限
  • 市場許可・禁止リスト
  • 時間セッションと有効期限
  • 操作人による確認
  • データ承認済みのソース
  • 緊急停止一つの命令で取り消し

観察、推論、提案、試算、承認、実行という六つのCortexの段階が、一つの閉じたループを形成します。実行の前には八つのポリシーゲートが立ちはだかります。資本配分、日次・累計の損失上限、レバレッジ上限、市場の許可・禁止リスト、セッションと有効期限、人による確認、承認済みの情報源、そして緊急停止です。インテントが実行に進めるのは、すべてのゲートが開いている場合のみであり、閉じたゲートがあれば理由とともに差し戻されます。

解決する課題

自動化に権限の上限が必要な理由

多くの取引ボットは、鍵を持っているという事実だけで信頼されています。広範な権限を持つAPIキーを保有し、その限界は自らのコードの内部にしか存在しません。コードに誤りがあったとき、モデルがドリフトしたとき、あるいは鍵が漏えいしたとき、ボットの外側にいる誰もそれに気づかず、アカウントが気づいたときには既に手遅れです。

AIモデルは、それ自身の障害モードを持ち込みます。古いデータに基づく自信過剰な推論、審査されていない情報源からの入力、モデルが一度も見たことのない市場レジームに入った際の振る舞いの変化などです。事後には、そのエージェントが何を知り、何を結論づけ、なぜ行動したのかという記録がほとんど残されません。

Cortexは、思考と権限を分離します。エージェントは幅広く調査できますが、実行は、エージェント自身が編集できない上限を通過し、エージェントが制御できないコンポーネントによって強制され、所有者が確認できるレシートに記録されます。AI支援の自動化を含む自動化は、依然として失敗したり予期しない振る舞いをしたりする可能性がありますが、このアーキテクチャはその影響範囲を限定します。

処理の順序

観察。推論。提案。試算。承認。実行。

ヘッジの調整から新規ポジションの構築まで、すべてのエージェントの行動は、同じ六段階のループをたどります。いずれの段階も省略できず、どこかの段階で失敗した場合、インテントは理由とともにエージェントへ返されます。

  1. 01

    観察

    エージェントは、市場とポートフォリオの状態——署名付きのPrism市場データ、所有者のAegisグラフ、承認された外部の情報源——を読み取ります。各入力は、その出所とともに記録されます。

  2. 02

    推論

    モデルアンサンブルが状況を評価します。各モデルの見解とバージョンが記録され、モデル間の不一致は信頼度を下げ、提案が形になる前にそれを止めることがあります。

  3. 03

    提案

    エージェントは取引インテント——商品、売買方向、数量、価格の上限、有効期限、根拠——を発します。インテントは要求であり、注文ではありません。

  4. 04

    試算

    Aegisがそのインテントをポートフォリオグラフに適用し、取引後の使用証拠金、清算距離、損失上限までの余裕、集中度を返します。

  5. 05

    承認

    ポリシーエンジンが八つの管理策すべてを確認します。その行動が確認のしきい値を超える場合は、所有者の署名付き承認を待ちます。

  6. 06

    実行

    承認されたインテントは、エージェントのVaultID認証情報のもとで署名された注文になります。ApexMatchはマッチングの前にもう一度Aegisゲートで評価し、レシートがループを閉じます。

構造

エージェントシステムの構成要素

Cortexは、思考するコンポーネントが、決して承認するコンポーネントにはならないように構築されています。

  1. 01

    エージェント実行環境

    エージェントが動作する隔離された環境です。広範な読み取りアクセス権を持つ調査用ワークスペースは、インテントが送出される狭い実行チャネルとは分離されています。

  2. 02

    モデルアンサンブル

    複数のモデルが各判断を個別に評価します。それらのバージョン、出力、一致度が記録されるため、どの提案も、それを生み出したモデルまで追跡できます。

  3. 03

    ポリシーエンジン

    バージョン管理されたコードとして記述された所有者のポリシーに対して、各インテントを評価します。明示的に許可されていないものは、すべて拒否されます。

  4. 04

    エージェントID

    各エージェントは、所有者に紐づき、ポリシーによって範囲が定められた、独自のVaultID認証情報を保持します。エージェントが所有者自身の鍵で署名することは決してありません。

  5. 05

    シミュレーション・ブリッジ

    すべてのインテントを所有者のAegisグラフに接続します。そのため、承認はインテントそのものだけでなく、取引後のリスクに基づいて決定されます。

  6. 06

    レシートサービス

    拒否された場合も含め、ループを一巡するたびに、理由、試算されたリスク、出所、ポリシー上の判定、執行証拠を伴う署名付きのアクションレシートを記録します。

セキュリティと障害制御

八つの管理策。二つの実施地点。

ポリシーエンジンは、インテントに署名する前にすべての管理策を確認し、ApexMatch内部のゲートは、マッチングの前に認証情報の上限を再度確認します。エージェント自身のコードに不具合が生じたとしても、その権限を超えることはできません。残存するリスクについてはAIと自動取引に関する開示で説明しています。

  • 資本と損失の上限資本配分は、エージェントが投入できる範囲に上限を設けます。日次および累計の損失上限は、確定損益とマーク評価損益に基づいてAegisが計測し、いずれかに達するとエージェントは停止します。
  • エクスポージャーの上限レバレッジ上限は商品ごとに適用され、市場の許可・禁止リストが、エージェントが取引できる範囲を定めます。許可リストに載っていない市場は、既定で禁止されます。
  • 時間の上限権限にはセッションの範囲と有効期限が伴います。権限は自動的に失効し、所有者だけがそれを更新できます。
  • 人による確認数量、市場、商品種別ごとに所有者が設定したしきい値を超える行動は、信頼されたデバイス上での所有者による署名付き承認を待ちます。
  • 承認済みの情報源承認されていないデータは調査の参考にはなり得ますが、実行可能なインテントの根拠には決してなりません。レシートは、注文につながったすべての入力の出所を記録します。
  • ワンコマンドでの停止一つの署名付きコマンドが、エージェントの権限を取り消し、未執行の注文を撤回します。次にファイナライズされる状態遷移以降、そのエージェントが署名するものはすべてゲートで拒否されます。

三つのシステムの連携

Prime、L1、RealmにおけるCortex

Orbitra Prime

取引インテリジェンス

Orbitra Primeでは、Cortexの提案がガイダンスパネルに、理由、試算されたリスク、データの出所とともに表示され、承認と停止コマンドはデスクトップとモバイルの両方から操作できます。手動の注文とエージェントの注文は、一つのアカウント、一つのリスクビュー、一つの証拠の記録を共有します。

Orbitra L1

決済と計算

エージェントの認証情報とポリシーは、Orbitra L1上の状態であるため、その実施はエージェントが動作するマシンに依存しません。エージェントの注文は、手動の注文と同じ、ApexMatch内部のAegisゲートを通過し、レシートはファイナライズされた状態遷移を参照します。

Orbitra Realm

アプリと商取引

Orbitra Realmでは、エージェントは独自のIDを持つ第一級の参加者です。データ取引所からデータを取得し、計算資源の対価を支払い、ボットマーケットを通じて提供されることもできます——それらは常に所有者のポリシーのもとで行われます。詳しくはAI経済をご覧ください。

価値

境界のある委任

トレーダーと利用者
無制限の権限を渡すことなく、監視と実行を委任できます。すべての行動には、それが起きた理由が示され、一つのコマンドでエージェントの権限を取り消せます。
機関
コードとして定義するポリシー、二者承認、独立した緊急停止制御は、職員に対してと同様にエージェントにも適用されます。アクションレシートは、監督チームとモデルリスクチームに、入力から約定までの完全な記録を提供します。
開発者
安定したループ、文書化されたインテント形式、VaultIDによるエージェントIDを基盤としてエージェントを構築できます。ボットマーケットを通じた配布でも、すべての購入者に対して同じポリシー境界が保たれます。

仕様

仕様

エージェントループ
観察 → 推論 → 提案 → 試算 → 承認 → 実行
ポリシー管理策
資本配分、日次・累計の損失上限、レバレッジ上限、市場の許可・禁止リスト、セッションと有効期限、人による確認、承認済みの情報源、ワンコマンドでの停止と権限の取り消し
実施地点
署名前のポリシーエンジン、マッチング前のApexMatch内Aegisゲート
既定の方針
明示的に許可されない限り拒否。すべての権限に有効期限がある
ID
エージェントごとのVaultID認証情報。所有者に紐づき、範囲が定められ、取り消し可能
推論
モデルのバージョンと一致度を記録するモデルアンサンブル
説明可能性
すべての提案に付随する理由、試算されたリスク、データの出所
証拠
拒否されたインテントを含む、ループの一巡ごとの署名付きアクションレシート

用語

用語

取引インテント
商品、売買方向、数量、上限、有効期限、根拠から構成される提案。試算と承認を経てから初めて注文になる。
ポリシーエンジン
各インテントを所有者のバージョン管理されたポリシーに対して評価し、理由を伴う判定を返すコンポーネント。
アクションレシート
入力から実行または拒否まで、ループを一巡した記録を署名付きで残したもの。
出所
エージェントが使用したすべての入力について、その情報源、時刻、バージョンを記録した出所情報。
モデルアンサンブル
出力を組み合わせる独立したモデルの集合。モデル間の不一致は、平均化して消し去るのではなく、一つの信号として扱われる。

一つのネットワーク。無限の市場。

ORBITRA ONE™の利用を申し込む。