実務への接続
この章の位置づけ: 入門を終えたあと、チームでどう続けるかの地図だけ示す。深掘りは各公式ドキュメントへ。
| 手段 | できること | 入門者が次に取る一歩（例） |
|---|---|---|
| CLI（配布 JAR 同梱） | 同じ .als を非対話的に実行、スクリプト化 | 手元の help 出力でサブコマンドを1つ通す。CI に載せるイメージは 演習 |
| LSP | エディタで診断・定義等（版による） | 好みのエディタの Alloy 拡張有無を調べ、Analyzer と同じ配布のドキュメントを正とする |
| CI | 検査の再現と共有 | リポジトリに .als を置き、ビルドで JAR 実行1本にする（詳細はチーム方針） |
初版のスコープ: 詳細手順の多数提示は行わない。常に alloytools.org とリリースノートを正とする。
次: 次の一歩 で公式学習リソースを選ぶ。