メインコンテンツへスキップ
qxctl は、実装済みのすべての SKV エンジンと、SCV および SHV の管理向けにベクトル固有のグラマーを公開しています。承認済みの Accordare と SEV のグラマーは、コマンドの実装と安定したレジストリエビデンスが揃い次第、qxctl accord ... と qxctl evolution ... を使用します。

SKV エンジングラマー

  • qxctl skvi ...: SKVI エンジンに対する inspect、check、propose、project
  • qxctl sclv ...: SCLV エンジンに対する inspect、check、propose、recover、project
  • qxctl sacv ...: SACV エンジンに対する inspect、check、diff、propose、project
  • qxctl sodv ...: SODV エンジンに対する inspect、check、verify、propose、recover、project
  • qxctl ssfv ...: SSFV エンジンに対する inspect、check、diff、propose、graph
各グラマーは、所有するエンジンのコントラクトによって制約されます。qxctl が操作を独自に作り出したり、エンジンをバイパスしたりすることはありません。

Accordare の追加機能

qxctl における Accordare の追加機能は次のとおりです。
  • 安定した status
  • reconciliation(正確な候補のみをリプレイ)
  • スーパーバイザーのインストールとアンインストール(検証済みの receipt-v2 実行可能ファイルのみを呼び出す)
  • SSIAG と期待状態リカバリーの下で、停止中の STAV 構成のみを変更する 2 つのグラント管理 ID
status は永続的な意図と追記バックログを分離します。reconciliation は正確な候補のみをリプレイします。グラントのリーフが実行中の構成を開くことはありません。

SHV ストレージ

永続的な SHV ストレージは、次のコマンドを通じてのみ管理されます。
SHV graph store
保持された期待インテントダイジェストを指定した commit は、リカバリーも兼ねます。別のリカバリーエイリアスはありません。ストアのスコープは入力で宣言し、コネクター ID はフラグで設定します。構造的ストレージは、セマンティックな shv graph validate を重複して行ったり、カタログヘッドを選択したりしません。 shv graph store inventory(リリース 0.2)は、明示的に保持されたライター ID を伴う、リビジョンにバインドされた論理読み取りを追加します。レガシーの 0.1 の選択も引き続きサポートされます。

SHV カタログの公開

カタログの公開は、次のコマンドを通じてのみ管理されます。
SHV catalogue publication
リカバリーは apply --operation-id で行い、--input とは同時に指定できません。パーミッションに裏付けられたローカルカタログの選択は、ソースの有効化や汎用グラフストレージとは別物です。

関連するサーフェス

SKV の概要

エンジンが実装するベクトルのセマンティクス。

SHV ベクトル

Hardware Vector の背景とエンジン一覧。

SHV エンジン

エンジンレベルの詳細。

qxctl の概要

qxctl コマンドサーフェスの全体。
最終更新日 2026年10月10日