CLI エンジンコマンド — Altifigence Documentation

明示された制限と入力契約に従って、ローカル設計エンジン、ネイティブ XLS と CUDA、DDS の編集機能を使用します。

概要

このページでは、ローカル設計エンジンのコマンド、主要な引数、実行の境界を説明します。オプションと値の列挙をすべて確認するには、インストール済みコマンドの末端サブコマンドで --help を参照してください。結果を設計上の根拠に用いる前に、その結果自体が示す制限を確認してください。

まず CLI コマンド体系を読んでください。以下のすべてのコマンドが依存するルーティング、終了コード、レシートのエンベロープ、同じディレクトリにある実行ファイルの解決規則を定義しています。job 名前空間、analyze run、evolve run については CLI ジョブと Cloud コマンドを参照してください。

表内の表記：

<ANGLE> は位置引数、[ANGLE]... は繰り返し指定できる任意引数です。
「必須」列のオプションがない場合、コマンドは何も起動せずに終了コード 2 で終了します。
すべてのサブコマンドは --json と -h/--help も受け付けます。各行での記載は省略しています。
--project は、行内に別の説明がなければ --project <PROJECT> で、相対入力・出力パスの基準になる任意の作業ディレクトリです。実在するディレクトリに解決できなければ、終了コード 2 で終了します。

capabilities

alti capabilities は、認証済みのインストール構成を調べ、利用可能な操作を報告します。まず Linux へのインストールを完了してください。0.1.9 の組み込みブートストラップは、従来不足していたレシートとペイロードの構成を提供します。機能の応答は、カーネルや設計を実行した証拠ではありません。

rtl

サブコマンドは 28 個あります。rtl compile と rtl synthesize は --runner を持つ 2 つの互換経路です。それ以外の rtl サブコマンドはすべて、条件にかかわらずローカルで実行されます。

これら 2 つは physical run と px analyze と異なり、固定のエンジン操作を指定するため、引き渡す引数がなくてもエンジンを起動します。その後、エンジン自身が引数不足を報告し、終了状態がそのまま返されます。必要な引数を -- の後に指定してください。

コマンド	必須	その他のオプション	目的
`rtl` `compile`	—	`--runner` `<local\|cloud\|private>`（既定値：`local`）、`--project`, `--` `<ENGINE_ARG>...`	同梱コンパイルエンジンに委譲する互換経路
`rtl` `synthesize`	—	`--runner`（既定値：`local`）、`--project`, `--` `<ENGINE_ARG>...`	従来の生のローカル合成委譲に対する互換表記
`rtl` `schematic` `<FILE>...`	少なくとも 1 つの `<FILE>`	`--project`, `--top` `<TOP>`, `--format` `<json\|text>`（既定値：`json`）、`-I` `<DIR>`, `-D` `<NAME[=VALUE]>`	保存済み RTL ソースから、コンパイラが検証した回路図契約を出力
`rtl` `analysis` `<PATH>...`	少なくとも 1 つの `<PATH>`	`--project`	指定ソースに対して同梱の解析操作を実行
`rtl` `synth` `[FILE]...`	`--top` `<TOP>`	`--project`, `--pretty`, `--netlist-only`, `--source` `<LOGICAL_PATH>` `<DISK_PATH>`	同梱の合成操作を実行
`rtl` `map`	`--netlist` `<NETLIST>`, `--liberty` `<LIBERTY>`	`--project`, `--pretty`	同梱のテクノロジーマッピング操作を実行
`rtl` `target-analysis` `capabilities`	—	—	固定のターゲット解析契約と実行器の利用可否を報告
`rtl` `target-analysis` `readiness`	—	—	パスを必要としない、読み取り専用のターゲット解析実行準備状況を報告
`rtl` `target-analysis` `admit`	以下の 11 オプション	`--cell-decomposition`	標準入力のソースバンドル JSON から、型付きの受付要求 1 件を検証
`rtl` `target-analysis` `preflight`	以下の 11 オプション	`--cell-decomposition`	標準入力のソースバンドル JSON から構造の事前検査を実行
`rtl` `simulate` `admit\|preflight\|run` `<REQUEST_JSON>`	`<REQUEST_JSON>`	`--project`	範囲を限定した保存済み RTL シミュレーション要求 1 件を受け付け、事前検査または実行
`rtl` `simulate-v2` `capabilities`	—	—	固定の 4 値マルチクロックシミュレーション契約を報告
`rtl` `simulate-v2` `admit\|preflight\|run` `<REQUEST_JSON>`	`<REQUEST_JSON>`	`--project`	範囲を限定した 4 値マルチクロック要求 1 件を受け付け、事前検査または実行
`rtl` `artifact` `store` `<RESULT_JSON_OR_DASH>`	`<RESULT_JSON_OR_DASH>`	`--project`, `--schematic`	結果レシート 1 件をプロジェクトのアーティファクトストアに保存
`rtl` `artifact` `list`	—	`--project`, `--schematic`	保存済みエントリを一覧表示
`rtl` `artifact` `show` `<ENTRY_ID>`	`<ENTRY_ID>`	`--project`, `--schematic`	保存済みエントリ 1 件を読み取り
`rtl` `fanout-free-committed-identities` `list`	—	`--project`	所有者専用の固定レジストリにある、検証済み識別情報を定められた範囲で一覧表示
`rtl` `fanout-free-committed-identities` `read`	`--entry-id` `<SHA256>`	`--project`	現在の検証済み一覧から選択した識別情報 1 件を再読み取り
`rtl` `global-sharing-committed-identities` `list\|read`	`read`: `--entry-id` `<SHA256>`	`--project`	上記と同じ操作を、グローバル共有の識別情報に対して実行
`rtl` `mapped-timing-committed-identities` `list\|read`	`read`: `--entry-id` `<SHA256>`	`--project`	上記と同じ操作を、マッピング済みタイミングの識別情報に対して実行
`rtl` `mapped-register-timing-committed-identities` `list\|read`	`read`: `--entry-id` `<SHA256>`	`--project`	上記と同じ操作を、マッピング済みレジスタタイミングの識別情報に対して実行

--schematic を 3 つの rtl artifact サブコマンドに指定すると、RTL 操作結果ストアの代わりに固定の回路図レシートストアが選択されます。

--entry-id は、確定済み識別情報を扱う末端サブコマンドでは、正確に 64 文字の小文字の 16 進数でなければなりません。それ以外は、終了コード 2、entry id must be exactly 64 lowercase hexadecimal characters で拒否されます。

rtl schematic の制限

rtl schematic は、何も起動する前にパスを検証します。ソースファイル、インクルードディレクトリ、定義が次のいずれかに違反すると、受付時に拒否されます。

制限	値
ソースファイル	最大 256
インクルードディレクトリ（`-I`）	最大 128
定義（`-D`）	最大 256
パス長	1～4096 バイト
パスの構成要素	1～128
パスの構成要素 1 個	最大 255 バイト

パスは選択したプロジェクトに対する相対パスで、先頭が - でなく、制御バイトや .. を含まないことが必要です。--top と定義名は、1～128 バイトの SystemVerilog 識別子でなければなりません。定義には = の後に値を付けられますが、全体で 4096 バイトまでです。

rtl target-analysis のオプション

admit と preflight は、標準入力から正規のソースバンドル JSON を読み取り、どちらも同じ 11 オプションを必須とします：--module <NAME>, --top <NAME>, --targets <CSV>, --primary-target <ID>, --tools <CSV>, --report-detail <LEVEL>, --profile <ID>, --cpu-slots <N>, --memory-bytes <N>, --max-wall-time-ms <N>、--deadline-unix-ms <N>。--cell-decomposition は任意のブール型フラグです。

オプション	指定可能な値
`--primary-target`	`generic-asic`, `sky130-asic`, `xc7-fpga`
`--targets`	次の値から選んだカンマ区切りの部分集合：`generic-asic`, `sky130-asic`, `xc7-fpga`（重複不可）
`--tools`	次の値から選んだカンマ区切りの部分集合：`waveform`, `schematic`, `roofline`, `perf`, `timing`, `ppa`, `evidence`（重複不可）
`--report-detail`	`brief`, `standard`, `detailed`

--cpu-slots は 32 ビット符号なし整数、--memory-bytes, --max-wall-time-ms、および --deadline-unix-ms は 64 ビット符号なし整数です。

どちらの CSV でも、重複や一覧にない値は解析時に拒否されます。例：targets must be a comma-separated subset of: generic-asic, sky130-asic, xc7-fpga。

シミュレーション要求のエンベロープ

<REQUEST_JSON> は、CLI が何も起動する前に読み取り、検査するファイルのプロジェクト相対パスです。パスは正規化された相対パスで、どの構成要素でもシンボリックリンクを経由せず、プロジェクトルート内に解決される必要があります。ファイルは 260 MiB 以下の通常ファイルでなければなりません。

JSON は、正確に次の 4 キーを持つオブジェクトでなければなりません。

{
  "schema": "altifigence.rtl.operation-request.v1",
  "version": 1,
  "operationId": "altifigence.rtl.simulate.v1",
  "request": {}
}

operationId の必要値は altifigence.rtl.simulate.v1（rtl simulate の場合）、altifigence.rtl.simulate.v2（rtl simulate-v2 の場合）です。不一致は起動前に RTL simulation request must be the exact <id> envelope で拒否されます。

確定済み識別情報のサブコマンドは実行できません

8 個の rtl *-committed-identities list と read 末端サブコマンドは、alti-rtl-runner というエンジンに処理を渡します。このバイナリは リリースでビルド・同梱される 24 個のエンジンバイナリに含まれません。そのため、正しいインストールでも alti と同じディレクトリからも PATH からも解決できません。呼び出すと、次の値を持つローカルエンジンのレシートが生成されます：status: "unavailable" および exitCode: 127。

テキスト

$ alti --json rtl fanout-free-committed-identities list
{
  "schema": "altifigence.local-engine-execution.v1",
  "status": "unavailable",
  "domain": "rtl",
  "operation": "fanout-free-committed-identities-list",
  "runner": "local",
  "binary": "alti-rtl-runner",
  ...
}

これら 8 コマンドを基に自動化を構築しないでください。

sv

サブコマンドは 23 個あり、すべて条件にかかわらずローカルで実行されます。いずれも --runner を受け付けません。

コマンド	必須	その他のオプション	目的
`sv` `frontend` `index` `[PATH]...`	—	`--project`	指定パスのフロントエンド索引を構築
`sv` `frontend` `symbols` `[PATH]...`	—	`--project`	指定パスのシンボル情報を報告
`sv` `frontend` `symbols-v2` `[PATH]...`	—	`--project`	第 2 世代のシンボル応答形式
`sv` `frontend` `definition` `<PATH>` `<LINE>` `<COLUMN>` `[ANALYSIS_PATH]...`	位置	`--project`	指定位置の定義を解決
`sv` `frontend` `hover` `<PATH>` `<LINE>` `<COLUMN>` `[ANALYSIS_PATH]...`	位置	`--project`	指定位置のホバー応答を解決
`sv` `frontend` `complete` `<PREFIX>` `[PATH]...`	`<PREFIX>`	`--project`	指定プレフィックスに対する補完を解決
`sv` `frontend` `references` `<PATH>` `<LINE>` `<COLUMN>` `[ANALYSIS_PATH]...`	位置	`--project`	指定位置にあるシンボルの参照を解決
`sv` `frontend` `rename-plan` `<PATH>` `<LINE>` `<COLUMN>` `<REPLACEMENT>` `[ANALYSIS_PATH]...`	位置、`<REPLACEMENT>`	`--project`	ファイルを編集せずに名前変更計画を生成
`sv` `frontend` `rename-apply` `<PATH>` `<LINE>` `<COLUMN>` `<REPLACEMENT>` `<REVIEWED_PLAN_SHA256>`	5 つすべて	`--project` `<ABSOLUTE_WORKSPACE>` が必須	レビュー済み計画のハッシュを確認して名前変更を適用
`sv` `review` `immediate`	—	—	コンパイルやシミュレーションをせずに即時アサーションをレビュー
`sv` `review` `interprocess`	—	—	コンパイルやシミュレーションをせずにプロセス間同期をレビュー
`sv` `library` `constrained-random` `list`	—	`--category` `<item\|control\|checker>`, `--filter` `<FILTER>`, `--limit` `<LIMIT>`（既定値：`64`）	制約付きランダム参照カタログのエントリを一覧表示
`sv` `library` `constrained-random` `show` `<STABLE_ID>`	`<STABLE_ID>`	—	制約付きランダムカタログのエントリ 1 件を表示
`sv` `library` `sva` `list`	—	`--category`, `--filter`, `--limit`（既定値：`64`）	SVA 参照カタログのエントリを一覧表示
`sv` `library` `sva` `show` `<STABLE_ID>`	`<STABLE_ID>`	—	SVA カタログのエントリ 1 件を表示
`sv` `uvm` `capabilities`	—	—	コンパイル済み UVM ブリッジ契約を報告
`sv` `uvm` `environment`	—	—	UVM ブリッジの環境情報を報告
`sv` `uvm` `readiness`	—	—	コンポーネントを読み込み・実行せずに、署名済み固定コンポーネントの準備状況レシートを返却
`sv` `uvm` `abi`	—	—	UVM ブリッジ ABI を報告
`sv` `uvm` `simulation` `capabilities`	—	—	範囲を限定した UVM シミュレーション契約を報告
`sv` `uvm` `simulation` `readiness`	—	—	パスを必要としない実装準備状況と外部実行権限の準備状況を報告
`sv` `uvm` `simulation` `admit`	以下の 13 オプション	—	範囲を限定し、検証失敗時に拒否する UVM シミュレーション要求 1 件を検証
`sv` `uvm` `simulation` `preflight`	以下の 16 オプション	`--cancellation-requested`	範囲を限定し、検証失敗時に拒否する UVM シミュレーション要求 1 件を事前検査

位置引数の値の規則：

<LINE> と <COLUMN> は 1 始まりの、0 でない整数です。0 は終了コード 2 で終了します。
<REPLACEMENT> は SystemVerilog 識別子で、先頭は英字、_、または $、残りは英数字、_、または $ です。
<REVIEWED_PLAN_SHA256> は 64 文字の小文字の 16 進数でなければなりません。
<STABLE_ID> は小文字の英字、数字、ハイフンから成る 1～128 文字でなければなりません。
--filter は制御文字を含まない 1～128 バイト、--limit は 1～64 の整数でなければなりません。--limit 65 は終了コード 2 で終了します。

sv frontend rename-apply は sv 内で唯一 --project を必須とするサブコマンドです。値は実在するディレクトリへの絶対パスで、シンボリックリンクであってはなりません。指定しないと終了コード 1、SV rename apply requires --project <absolute-workspace> で終了します。

sv review immediate と sv review interprocess は、標準入力から SystemVerilog ソースを読み取ります。これらは sv 内で専用エンジン alti-sv-immediate-review と alti-sv-interprocess-review を持つ唯一のサブコマンドです。名前空間内のその他のすべてのコマンドは alti-sv-frontend を使用します。

sv uvm simulation admit は 13 オプションを必須とします：--bundle-id, --bundle-sha256, --source-count, --source-bytes, --test, --top, --clock, --period-ps, --cycles, --max-wall-time-ms, --max-cpu-cores, --max-memory-bytes、--max-artifact-bytes。sv uvm simulation preflight はその 13 オプションに加え、--attempt-id, --observed-at-unix-ms と --deadline-unix-ms を必須とし、さらにブール型の --cancellation-requested（既定値：false）を受け付けます。--source-count は 32 ビット符号なし整数、--max-cpu-cores は 16 ビット符号なし整数で、残りの数値オプションは 64 ビット符号なし整数です。

verification

コマンド	必須	その他のオプション	目的
`verification` `golden-diff` `emit-profile` `<TRACE>`	`<TRACE>`	`--project`, `--tolerance-pct` `<TOLERANCE_PCT>`（既定値：`10`）	トレース 1 件から比較プロファイルを出力
`verification` `golden-diff` `check` `<REFERENCE>` `<TRACE>`	両方	`--project`, `--format` `<text\|json\|json-v1>`（既定値：`text`）	トレース 1 件を参照と比較して検査

--tolerance-pct は有限の非負数でなければなりません。負数や数値でない値は終了コード 2、tolerance-pct must be a finite non-negative number で終了します。

--format は、ここではエンジン自身の出力形式を選択し、CLI レベルのエンベロープフラグ --json とは独立しています。両方を併用できます。

trace

コマンド	必須	その他のオプション	目的
`trace` `inspect` `<TRACE>`	`<TRACE>`	`--project`, `--format` `<json\|text>`（既定値：`json`）	トレースファイル 1 件を調査
`trace` `timeline` `<TRACE>` `<OUTPUT>`	両方	`--project`	トレース 1 件のタイムライン表示を次の場所に書き出し：`<OUTPUT>`
`trace` `export` `<FORMAT>` `<TRACE>` `<OUTPUT>`	3 つすべて	`--project`	トレース 1 件をエクスポート
`trace` `review` `materialize` `<TRACE_ARTIFACT_ID>`	`<TRACE_ARTIFACT_ID>`	`--project`, `--reference` `<REFERENCE_ARTIFACT_IDS>`（繰り返し指定可能）	所有者ストアのアーティファクト識別情報から v1 レビューパッケージ 1 件を生成
`trace` `review` `list`	—	`--project`	所有者ストアの最新レビューパッケージを最大 5 件一覧表示
`trace` `review` `show` `<PACKAGE_ID>`	`<PACKAGE_ID>`	`--project`	パスを含まないレビューパッケージの要約 1 件を表示
`trace` `review` `readback` `<PACKAGE_ID>`	`<PACKAGE_ID>`	`--project`	検証済みレビューパッケージ 1 件を再読み取り

<FORMAT> は trace export では、フラグではなく 位置引数 の値の列挙で、入力パスの前に置きます。値は vcd と chrome です。

--reference は、追加の参照アーティファクトを指定するために繰り返し使用できます。<TRACE_ARTIFACT_ID>、参照 ID、<PACKAGE_ID> は、-- を使用せずにハイフンで始めることができます。

注意：alti trace をサブコマンドなしで実行するとローカルパーサに到達し、サブコマンドの指定を求めて終了コード 2 で終了します。そのため、組み込みアクションマニフェストにある単語 1 つの trace アクションには、このリリースのコマンドラインから到達できません。CLI ジョブと Cloud コマンドを参照してください。

labs

読み取り専用の記述子と検証機能です。CLI はワークフロー実行を公開していません。

コマンド	必須	その他のオプション	目的
`labs` `inspect`	—	—	コンパイル時に固定されたワークフロー記述子カタログを調査
`labs` `validate` `<DESCRIPTOR>`	`<DESCRIPTOR>`, `--project` `<ABSOLUTE_WORKSPACE>`	—	検査対象の JSON 境界健全性記述子 1 件を、実行せずに検証
`labs` `status`	—	—	記述子だけに基づく決定的な Labs 状態を出力

labs validate は 2 つの入力に厳密な規則を適用し、エンジン開始前に以下をすべて検査します。

--project は実在するディレクトリへの絶対パスで、シンボリックリンクであってはなりません。
<DESCRIPTOR> はワークスペース相対パスで、.. やルート構成要素を含まず、4096 バイト以下でなければなりません。
拡張子は .json でなければなりません。
1048576 バイト以下の実在する通常ファイルに解決され、解決後のパスもプロジェクト内に収まる必要があります。

tcl

コマンド	必須	その他のオプション	目的
`tcl` `capabilities`	—	—	Tcl ランタイムの機能記述子を報告
`tcl` `environment`	—	—	Tcl ランタイムの環境記述子を報告
`tcl` `commands`	—	—	範囲を限定したコマンド記述子を報告
`tcl` `readiness`	—	—	Tcl を読み込まずに、固定の署名済みランタイム準備状況レシートを返却
`tcl` `evaluate`	—	—	標準入力から読んだ、範囲を限定した Tcl スクリプト 1 件を評価

最初の 4 コマンドは、同梱の alti-tcl エンジンを通して記述子から応答し、標準のローカルエンジンエンベロープを出力します。

tcl evaluate は次の 3 点が異なります。標準入力から最大 4194304 バイトのスクリプトを読み取り、空の入力を拒否します。alti-tcl-local-runner が alti と厳密に同じディレクトリにあることを必須とし、PATH による代替検索を行わず、インストール済みの信頼チェーンで検査します。0.1.9 ブートストラップは、この経路に必要な固定の署名済み Tcl コンポーネントをインストールするので、インストール済みバイナリを使ってください。また、独自の終了コードを持つレシートスキーマ altifigence.cli.tcl-evaluation.v1 を出力します。どちらも CLI コマンド体系に記載されています。

eidb

コマンド	必須	その他のオプション	目的
`eidb` `capabilities`	—	—	EIDB 境界契約を報告
`eidb` `list`	—	`--project`	プロジェクト配下のバンドルを一覧表示
`eidb` `create`	`--source-artifact-ref` `<WORKSPACE_RELATIVE_ARTIFACT>`	`--project`, `--label` `<LABEL>`	ワークスペース相対のアーティファクトから、所有する R1 バンドル 1 件を作成
`eidb` `export`	`--bundle-key` `<BUNDLE_KEY>`	`--project`	バンドル 1 件のポータブルなエクスポートを生成
`eidb` `readback`	`--bundle-key` `<BUNDLE_KEY>`	—	バンドル 1 件を再読み取り
`eidb` `semantic-readback`	`--bundle-key` `<BUNDLE_KEY>`	—	意味情報のビューからバンドル 1 件を再読み取り

eidb capabilities, eidb readback と eidb semantic-readback は --project を受け付けません。CLI に関してはパスを必要としません。

physical

サブコマンドは 42 個あります。physical run は --runner を持つ互換経路です。残りはすべて条件にかかわらずローカルで実行し、自身のサブコマンド名をエンジン操作として alti-physical-runner にそのまま渡します。この名前空間での CLI の役割は、引数の受付とレシートの構成です。そのため、規則的なコマンド体系を次の 2 分類で示します。

分類	対象	引数
プロジェクト単位の操作	`pdn-stripe-plan`, `optimize-clock-tree`, `optimize-global-route`, `optimize-placement`, `placement-legalize`, `placement-pipeline-manifest`, `placement-pipeline-run`, `placement-seed-grid`, `single-clock-tree`, `two-pin-manhattan-route`, `two-pin-manhattan-route-congestion`, `two-pin-obstacle-route`, `two-pin-obstacle-route-bend-aware`, `multi-net-obstacle-route`, `multi-net-obstacle-route-bend-aware`, `multi-net-uniform-capacity-route`, `multi-net-edge-capacity-route`, `multi-net-congestion-cost-route`, `multi-net-congestion-cost-route-improve`, `multi-net-congestion-cost-route-improve-two-pass`, `multi-net-congestion-cost-route-improve-bounded`	`--project` のみ
エントリ単位の後続操作	`optimize-detailed-route`, `verify-detailed-route`, `placement-pipeline-analyze`, `placement-pipeline-verify`, `multi-net-route-metrics`, `two-pin-manhattan-route-verify`, `two-pin-obstacle-route-verify`, `multi-net-obstacle-route-verify`, `multi-net-obstacle-route-bend-aware-verify`, `multi-net-uniform-capacity-route-verify`, `multi-net-edge-capacity-route-verify`, `multi-net-congestion-cost-route-verify`, `multi-net-congestion-cost-route-improve-verify`, `multi-net-congestion-cost-route-improve-two-pass-verify`, `multi-net-congestion-cost-route-improve-bounded-verify`	`--entry-id` `<ENTRY_ID>` が必須。加えて `--project`

エントリ単位の後続操作はすべて、以前のプロジェクト単位の操作が生成した保存済みエントリを読み取ります。--entry-id を省略すると、何も起動せずに終了コード 2 で終了します。42 個中 36 個がこれに該当し、残る 6 個は次のとおりです。

コマンド	必須	その他のオプション	目的
`physical` `route-evidence-closure` `list`	—	—	現在のプロジェクト配下の確定済み識別情報を定められた範囲で一覧表示
`physical` `route-evidence-closure` `read`	`--identity-key-sha256` `<LOWERCASE_SHA256>`	—	現在の限定された一覧から選んだ識別情報を、正確に 1 件再検証
`physical` `artifact` `store` `<RESULT_JSON_OR_DASH>`	`<RESULT_JSON_OR_DASH>`	`--project`	結果レシート 1 件をプロジェクトのアーティファクトストアに保存
`physical` `artifact` `list`	—	`--project`	保存済みエントリを一覧表示
`physical` `artifact` `show` `<ENTRY_ID>`	`<ENTRY_ID>`	`--project`	保存済みエントリ 1 件を読み取り
`physical` `run`	—	`--runner`（既定値：`local`）、`--project`, `--` `<ENGINE_ARG>...`	従来の生のランナー委譲に対する互換経路

physical route-evidence-closure read は 2 段階のコマンドです。CLI はまず確定済み識別情報を一覧表示し、指定した --identity-key-sha256 がその一覧に含まれることを確認して、その 1 件だけを再読み取りします。キーが 64 文字の小文字の 16 進数でない、または現在の一覧にない場合、2 段階目の前に終了コード 1 で拒否されます。一覧表示の段階はパスを必要とせず、--project を受け付けません。

physical run は -- の後にエンジン操作がなければ起動しません：

テキスト

$ alti physical run
error: legacy local engine operation is required after `--`

この場合の終了コードは 1 です。受け付ける従来の操作は --capabilities-json, capabilities と execute です。それ以外は終了コード 1、legacy local engine operation ... is not in the public allowlist で終了します。

px

px analyze は --runner を持つ互換経路です。位置引数の名前が <INPUTS_RELATIVE_...> の場合、作業ディレクトリではなく、プロジェクトの inputs/ ディレクトリ配下で解決されます。

コマンド	必須	その他のオプション	目的
`px` `capabilities`	—	—	px 機能契約を報告
`px` `fdtd2d` `capabilities`	—	—	所有者が定義した FDTD2D 機能契約を表示
`px` `fdtd2d` `readiness`	—	—	CPU リースを取得せずに、インストール環境の動的な実行準備状況を報告
`px` `fdtd2d` `preflight` `<INPUTS_RELATIVE_JSON>`	`<INPUTS_RELATIVE_JSON>`	`--project`	FDTD2D 要求を検証し、実行できない理由を報告
`px` `execute`	—	`--project`	同梱の px 実行操作を実行
`px` `static-timing` `<INPUTS_RELATIVE_JSON>`	`<INPUTS_RELATIVE_JSON>`	`--project`	プロジェクト入力ファイル 1 件から、範囲を限定した非サインオフ用途の単一クロック静的タイミング解析を実行
`px` `process-recipe` `<INPUTS_RELATIVE_JSON>`	`<INPUTS_RELATIVE_JSON>`	`--project`	1 件の `px-recipe-1` JSON ファイルについて、宣言順序計画を検証・コンパイル
`px` `spef-summary` `<INPUTS_RELATIVE_SPEF>`	`<INPUTS_RELATIVE_SPEF>`	`--project`	限定された SPEF ファイル 1 件から、解析権限を伴わずに受動的な抽出済み R/C を報告
`px` `spef-analyze` `<INPUTS_RELATIVE_SPEF>` `<INPUTS_RELATIVE_CONFIG_JSON>`	両方	`--project`	呼び出し側が解決したコーナー 1 件に基づき、設定済みの寄生要素・IR ドロップ解析を限定された範囲で実行
`px` `readback` `<RUN_ID>`	`<RUN_ID>`	`--project`	記録済みの実行 1 件を再読み取り
`px` `artifact` `store` `<RESULT_JSON_OR_DASH>`	`<RESULT_JSON_OR_DASH>`	`--project`	結果レシート 1 件をプロジェクトのアーティファクトストアに保存
`px` `artifact` `list`	—	`--project`	保存済みエントリを一覧表示
`px` `artifact` `show` `<ENTRY_ID>`	`<ENTRY_ID>`	`--project`	保存済みエントリ 1 件を読み取り
`px` `analyze`	—	`--runner`（既定値：`local`）、`--project`, `--` `<ENGINE_ARG>...`	従来の生のランナー委譲に対する互換経路

このうち 3 コマンドはヘルプ内で固有の制限を明示しており、その制限も契約の一部です。px static-timing は非サインオフ用途であること、px spef-summary は解析権限を持たないことを明示し、px fdtd2d preflight は結果ではなく、準備状況を妨げる要因を報告します。出力はそれに応じて扱ってください。

先述の physical run と同様に、px analyze も -- の後に従来の操作を必要とし、指定しなければ終了コード 1 で終了します。許可されているのは capabilities と execute です。

PX の CPU および CUDA 操作

コマンド	バックエンドと入力
`px` `fdtd2d` `execute` `<INPUT>`	必須の `--backend` に `cpu`, `cuda` または `auto` を指定。ファイルはワークスペースの次の場所に対する相対パス：`inputs/`
`px` `fft-convolution` `<INPUT>`	同じバックエンド・入力規則
`px` `heat-pinn-jtr`	必須の `--backend` に `cpu`, `cuda` または `auto` を指定。範囲を限定した組み込み数値フィクスチャ
`px` `hotspot-sensitivity`	同じ明示的バックエンド方針。範囲を限定した組み込みフィクスチャ
`px` `csr-gmres`	同じ明示的バックエンド方針。範囲を限定した組み込みフィクスチャ

これらのコマンドは --project を受け付け、最初の 2 つは --timeout-ms 1..300000 も受け付けます。明示的な cuda は利用可能な CUDA 実行を必須とします。auto は、エンジンが記録する CPU フォールバックを別途許可します。報告されたバックエンドを確認してください。これらの限定的な数値操作は、一般的な物理設計サインオフや、すべての PX 操作の GPU 高速化を証明するものではありません。

isa

6 個中 4 個のサブコマンドは、標準入力からのみ CX ソースを読み取ります。isa run は --runner を持つ互換経路です。

コマンド	必須	その他のオプション	目的
`isa` `elaborate`	—	—	標準入力から読んだ CX ソースをエラボレーション
`isa` `assemble`	`--text` `<TEXT>`	—	標準入力から読んだ CX ソースに対して命令 1 個をアセンブル
`isa` `disassemble`	`--bits` `<BITS>`, `--bit-len` `<BITS>`	—	標準入力から読んだ CX ソースに対して符号化ワード 1 個を逆アセンブル
`isa` `cosimulate`	—	—	標準入力からソースを読み取り、範囲を限定した CX コシミュレーション投影を実行
`isa` `assistant` `verify`	`--check` `<CHECK>`, `--source` `<CX_FILE>`	`--project`	CX ファイルに対して指定した検査 1 件を実行
`isa` `run`	—	`--runner`（既定値：`local`）、`--project`, `--` `<ENGINE_ARG>...`	従来の許可されたローカル CX 操作に対する互換経路

--check が受け付けるのは elaboration, static-semantics, encoding-uniqueness と decode-determinism のみです。--bit-len は 32 ビット符号なし整数です。--text と --bits は空や空白のみであってはなりません。

先述の physical run と px analyze とは異なり、isa run は固定のエンジン操作を持つため、引き渡す引数なしでも起動し、エンジン自身が要件を報告します：

テキスト

$ alti isa run
cx run: run requires --program <path> or --program-text
[failed] isa.run runner=local engine=alti-cx/run executable=alti-cx resolution=path exit=1 project=.

ide

デスクトップホストの操作です。計算は上記のエンジン名前空間で行います。

コマンド	必須	目的
`ide` `open`	`--project` `<ABSOLUTE_DIR>`	正規化された絶対パスのプロジェクトディレクトリ 1 件を、インストール済み IDE で開く

ide open は別途インストールされたデスクトップアプリケーションを起動します。以下のネイティブワークスペース、Cloud、サービス、プロジェクト作成コマンドは、それぞれ明示されたバックエンドを通して動作します。

--project は正規化された絶対ディレクトリでなければなりません。絶対パスで、存在するディレクトリで、シンボリックリンクでなく、自身の正規形と一致することが必要です。シンボリックリンクを通るパスは、黙って追跡せずに拒否されます。

ide open はエンジンバイナリを使用しません。altifigence-ide という実行ファイルを、まず alti と同じディレクトリ、次に PATH で解決し、--project <canonical-dir> を指定して起動して、altifigence.ide-launcher-receipt.v1 レシートを出力します：

フィールド	意味
`schema`	常に `altifigence.ide-launcher-receipt.v1`
`status`	`spawned`, `unavailable`、または `failed`
`pid`	子プロセス ID、または `null`
`binary`	常に `altifigence-ide`
`project`	正規化されたプロジェクトディレクトリ。正規化に失敗した場合は要求された値
`resolution`	`sibling`, `path`、または `unresolved`
`executable`	解決済みパス、またはファイル名のみ
`error`	次の条件を満たす場合のメッセージ：`status` が `spawned` 以外。それ以外は `null`

終了状態は 0（spawned の場合）、それ以外は 1 です。altifigence-ide は Digital Design Studio に同梱され、CLI アーカイブには含まれません。そのため CLI だけのインストールでは、ide open は unavailable を報告します。

ネイティブのプロジェクト・ワークスペース操作

ide init --parent ABSOLUTE_DIR --name NAME は、正規化された呼び出し側所有の親ディレクトリ配下に新しいひな形を作成します。既存プロジェクトを上書きしません。ide workspace は UI を開かずに保存済みローカルファイルを操作します：

次に続くコマンド：`ide` `workspace`	入力と動作
`capabilities`	プラットフォーム契約を報告
`health` `--project` `ABS`	ワークスペースを公開する前に保留中のトランザクションを復旧
`files` `--project` `ABS` `[--limit` `N]`	範囲を限定した一覧表示。既定 500 件、最大 20000 件
`read` `--project` `ABS` `PATH`	許可された保存済みテキストファイル 1 件を読み取り
`write` `--project` `ABS` `PATH` `--expected-sha256` `HASH` `--content` `FILE_OR_DASH`	現在の SHA-256 が一致する場合だけ既存テキストを置換
`edit` `--project` `ABS` `--request` `FILE_OR_DASH`	次の置換の配列：`path`, `expected_sha256` と `content`。
`file-plan` `--project` `ABS` `--request` `FILE_OR_DASH`	型付きのファイル作成・置換・削除、またはディレクトリ作成をレビュー
`file-apply` `--project` `ABS` `--request` `FILE_OR_DASH`	レビュー済みの完全なファイル計画を適用
`hierarchy-plan` `--project` `ABS` `--request` `FILE_OR_DASH`	抽出、移動、マージ、定数ヘッダーの作成をレビュー
`hierarchy-apply` `--project` `ABS` `--request` `FILE_OR_DASH`	レビュー済みの完全な階層計画を適用
`settings` `read` `--project` `ABS`	保存済み DDS プロジェクト設定を読み取り
`settings` `patch` `--project` `ABS` `--request` `FILE_OR_DASH`	範囲を限定した JSON オブジェクトを再帰的にマージ

ネイティブの計画結果は、適用に用いる完全な、不透明な入力です。グローバルの --json を付けずに生のエンジン出力を保存してレビューし、同じ文書を対応する適用コマンドに渡してください。例えば、既存の絶対プロジェクトパスと型付き階層要求を使用する場合：

alti ide workspace hierarchy-plan --project "$PROJECT" \
  --request "$HIERARCHY_REQUEST" > "$PLAN_FILE"
# Review the complete plan and changed source before the next command.
alti ide workspace hierarchy-apply --project "$PROJECT" --request "$PLAN_FILE"

失敗したコマンドの出力を apply にパイプしないでください。新しい計画ファイルを選び、各終了状態を確認します。ファイル編集は、永続化され直列化されたトランザクションと現在のソースハッシュを使用しますが、無関係な書き込みに対するファイルシステム全体の瞬時の原子性はありません。競合時は再レビューが必要です。階層編集は、範囲を限定したソース選択とひな形作成であり、SystemVerilog 全体の意味的リファクタリングや等価性証明ではありません。

設定は DDS の .alti/ide-settings.json 形式、未知のキー、リテラルの null 値を保持します。パッチは再帰的マージであり、RFC 7396 の削除ではありません。要求と結果の上限は 256 KiB、深さは 8 です。ネイティブ UI と CLI は同じ .alti/.ide-settings.lock を使用します。CLI は現在のプロジェクト形式を扱い、別個のデスクトップ全体設定を扱うものではありません。

ネイティブトランザクションと Git は Linux 契約を必要とします。現在の復旧処理は V1 と V2 の両方のジャーナルを読み取ります。作成・削除や階層適用が中断した場合、古い V1 専用 DDS バックエンドを開く前に、新しい CLI の health を実行してください。古いバックエンドは保留中の V2 ジャーナルを消去せずに拒否します。正常に完了したトランザクションはアクティブなジャーナルを消去します。透過的に復旧できるバックエンドへの更新は推奨されますが、完了済みのすべての CLI 編集の前提条件ではありません。

Git

次の配下では：ide workspace git。すべてのコマンドが --project ABS を取ります：

コマンド	追加引数
`status`, `refs`, `worktrees`	なし
`history`	任意の `--limit` `1..200` と `--skip` `0..100000`
`commit-detail`	コミット ID
`commit-file`	コミット ID と相対パス
`diff`	相対パス。任意で `--staged`
`stage`, `unstage`	1～128 個の相対パス
`commit`	`--message` `TEXT`
`switch`	既存のローカルブランチ。変更のあるワークスペースや非対応の属性・フィルター動作は拒否

これらの操作は、ネイティブワークスペースのトランザクションとの間で復旧と直列化を行います。任意の Git 引数、フック、リモート push の認証情報は公開しません。

保存済みソースの検索

alti ide workspace search --project "$PROJECT" --query 'module' --limit 80

ネイティブ検索は --match-case, --whole-word、保守的な固定幅の --regex、1～500 件の一致制限、および --timeout-seconds 1..120 をサポートします。ネイティブの files/read 境界から保存済みテキストを読み取り、上限は 500 ファイル、各 4 MiB、合計 16 MiB、出力 1 MiB です。切り詰めの有無と内容の根拠を確認してください。未保存のエディタバッファは検索しません。Cloud 検索と従来の HTTP 検索・置換は、別のサービス操作です。

xls

コマンド	要求と目的
`xls` `capabilities`	ネイティブのサブセットとバックエンドの利用可否を報告
`xls` `check`, `eval`, `optimize`, `codegen`	必須の `--request` `FILE_OR_DASH`、任意の `--project`。ネイティブ操作 JSON、最大 16 KiB
`xls` `run`	同じフラグとサイズ制限。ローカル配置・デバイス方針を明示する XLS EngineJobV1 エンベロープ
`xls` `artifact` `store`	`--request` `FILE_OR_DASH`、任意の `--project`
`xls` `artifact` `list`, `xls` `artifact` `show` `ID`	任意の `--project`。範囲を限定した保存済み結果と再読み取り
`xls` `upstream` `install`	必須の新規絶対パス `--destination` と `--toolchain-config`。任意で、元の固定された `--archive`
`xls` `upstream` `capabilities`	必須の絶対パス `--toolchain-config`。実際のインストール済みツールの対応範囲を報告
`xls` `upstream` `run`	必須の `--toolchain-config`、既存の `--work-root`、および `--request` `FILE_OR_DASH` が必須。要求は最大 2 MiB

ネイティブ経路は、1～64 ビットの値を持つ限定的な DSLX と XLS IR 関数、定数畳み込み・デッドコード除去、組み合わせ RTL、または 1～16 段の出力レジスタを持つ RTL をサポートします。要求では cpu、または対応するバッチ評価用に明示的な cuda を選択します。CUDA バックエンドが利用できない場合はエラーとなり、自動的に CPU を実行しません。まず CPU の例から始めてください。

別の upstream 経路は、固定された公開 Google XLS Linux ツールチェーンをインストールし、アーカイブとツール・標準ライブラリの一覧を検証し、ライセンスファイルを保持します。選択した upstream ツールが要求された操作に対応する場合、インポート、パラメトリック定義、構造体、列挙、集約型、任意幅の型、proc に対応します。限定された bits64 パーサを使用せず、Google ツールチェーン全体を CUDA で高速化するものでもありません。

upstream 要求では check, eval, convert, optimize または codegen を選択します。ベクトルや tick を明示しない DSLX eval は、実際のモジュールテストを実行します。単体テストの実行件数が 0 なら成功ではありません。基本アーカイブには独立した IR/proc 評価器実行ファイルが含まれません。明示的ベクトルやチャネル tick には、インストール時に --evaluator-bundle と --evaluator-manifest-sha256 を使って受け付けた追加の検証済み評価器バンドルが必要です。これらの操作を要求する前に機能を確認してください。upstream パイプラインコード生成は 1～64 段に対応しますが、単位遅延のスケジュールは特性評価済みシリコンのタイミングではありません。

compute

コマンド	目的
`compute` `capabilities`	GPU カーネルを実行せずにデバイスを検出
`compute` `rtl-capabilities`	パック済み RTL の実行契約を調査
`compute` `rtl-simulate` `--request` `FILE_OR_DASH`	範囲を限定した組み合わせ RTL 実行。バックエンドを明示：`cpu` または `cuda`
`compute` `rtl-evolve` `--request` `FILE_OR_DASH`	範囲を限定したネイティブ生成要求。明示的な `cpu-reference` または `cuda` アクティビティバックエンドを使用
`compute` `rtl-verify` `--request` `FILE_OR_DASH`	CUDA を読み込まずに保存済みパック済み RTL 結果を検証

要求コマンドは --project を受け付けます。シミュレーションと Evolve の入力は 4 MiB、検証入力は 16 MiB までです。同梱の alti-rtl-cuda がこの経路を担当します。compute rtl-evolve は altifigence.rtl.evolve-request.v1 を取り、既存のネイティブ生成要求を request にネストします。これは evolve run 操作エンベロープではありません。

Evolve CUDA は、範囲を限定した組み合わせ回路のアクティビティ診断を計算します。候補生成、正しさの検査、合成、目的評価は CPU 上で行います。実際の Icarus iverilog と vvp がホストツール設定を通して利用可能でなければなりません。cpu-reference は cuda_timeout_ms: 0 と device_memory_bytes: 0 を必須とし、cuda は、実行できない場合にフォールバックせず拒否します。既存の親を持つ新しい request.run_dir を使用してください。

要求の上限は、世代数と子数が 1～16、島数が 1～4、計画した評価の合計が 256、LLM の子数が 0 です。デバイスメモリは限定されたワーカーバッファの予算であり、ドライバの総メモリ制限ではありません。任意のローカル cancel_file と期限は協調的キャンセルに対応し、ネイティブツール呼び出しは固有の制限を保持します。CUDA の成功結果には、実際に受け付けられた候補のアクティビティと保存済みハードウェア来歴が必要です。デバイス検出や初期プローブだけでは不十分です。CPU/CUDA の機能的な一致は、高速化の主張ではありません。

現在のダウンロードに含まれないコマンド

従来省略されていた eda と reports 名前空間は、現在はルーティングされています：

コマンド	入力
`eda` `inspect`	`--project` `ABS` `--format` `FORMAT` `PROJECT_RELATIVE_INPUT`
`eda` `sdc-bind`	`--project` `ABS` `--constraints` `PATH` `--logic-netlist` `PATH`
`eda` `artifact` `store`, `reports` `artifact` `store`	`--input` `RECEIPT_JSON`、任意の `--project`
`eda` `artifact` `list`, `reports` `artifact` `list`	任意の `--project`
`eda` `artifact` `show`, `reports` `artifact` `show`	`--entry-id` `SHA256`、任意の `--project`
`reports` `parse`	型付きレポート形式と限定された入力については末端サブコマンドのヘルプを参照

これらは、範囲を限定した調査・解析・バインディング操作であり、一般的な EDA ツール実行ではありません。ide init と、明示的なネイティブ Evolve コマンドも利用できます。上記の未同梱 alti-rtl-runner 互換経路は別の制限として残っています。ヘルプだけから対応を推測しないでください。

エンジンワークフローの準備

操作を選び、インストール済み機能の応答と末端サブコマンドのヘルプを読んでください。
選択したプロジェクト内に小さな入力を作成して保存し、トップ・モジュールやエントリポイントを確認してください。
必要な外部ツールを用意し、要求が CPU/CUDA 選択に対応する場合はバックエンドを明示してください。
リソースを限定して 1 回実行し、診断と完全なネイティブ結果を保存してください。
ワークフローを大きくする前に、実際のバックエンド、入力、出力アーティファクト、非対応の指標を確認してください。

グラフィカルなワークフローには DDS 解析、候補比較には Evolve を使用してください。CLI エンジン対応、デスクトップパネル、Cloud 経路はそれぞれ別の統合です。実際に使用するワークフローを確認してください。