owlspec for VSCode

.owlspec.md のオーサリング支援(diagnostics / completion / hover / code action)を提供する VSCode 拡張。owlspec の language server(owlspec-lsp)を LSP プロトコル経由で利用する。

動作

• .owlspec.md を開くと拡張が有効化され、owlspec-lsp を stdio で起動する。
• LSP バイナリの解決順:
  1. 設定 owlspec.server.path(明示指定)
  2. 拡張に同梱した server/owlspec-lsp(per-platform vsix。インストールするだけで動作)
  3. PATH 上の owlspec-lsp

提供機能

• diagnostics: 文型エラー / undefined_term / policy 違反 / namespace violation / 未解決 obligation
• completion: 既存 canonical id / TERM Type / SPEC Pattern / Modality / 文型キーワード
• hover: TERM 定義と未解決 obligation
• code action: 未定義 term の定義作成 / 現在事実文の挿入(supersede を生成しない)

ビルド / パッケージ

npm ci
npm run build                       # esbuild バンドル
npm run package                     # vsce package(.vsix 生成、--no-dependencies)

リリースは GitHub Release 作成時に CI(.github/workflows/release.yml)が per-platform の .vsix(owlspec-lsp 同梱)を生成して添付する。タグ vX.Y.Z に合わせて拡張の version も設定される。

依存方向

拡張は owlspec-core に直接依存せず、owlspec-lsp(LSP)経由でのみ core 機能を利用する (docs/project/architecture.md の依存方向)。ローカル動作(ネットワーク不要)。