# 通知設計書 8-initialized

## 概要

本ドキュメントは、LSP(Language Server Protocol)におけるinitialized通知の設計仕様を記載する。クライアントからサーバーへ送信される通知であり、クライアントの初期化完了をサーバーに通知する。

### 本通知の処理概要

initialized通知は、クライアントがinitializeリクエストへの応答を受け取り、クライアント側の初期化処理が完了した後に送信される通知である。この通知により、サーバーはクライアントが通常の操作を受け入れる準備ができたことを把握し、追加の初期化処理を実行できる。

**業務上の目的・背景**：LSPのライフサイクルにおいて、サーバーはinitializeリクエストで基本的な初期化を行うが、クライアントの準備完了を確認してから実行すべき処理がある。例えば、ファイル監視の登録はクライアントが準備完了してから行う必要がある。この通知により、サーバーはクライアントへのリクエスト（registerCapability等）を安全に送信できるようになる。

**通知の送信タイミング**：クライアントがinitializeリクエストへのレスポンスを処理し、内部状態の初期化を完了した直後に送信される。LSP仕様では、この通知はクライアントからサーバーへの最初の通知でなければならない。

**通知の受信者**：clojure-lspサーバープロセスがこの通知を受信する。

**通知内容の概要**：通知にはパラメータが含まれない（空オブジェクト）。

**期待されるアクション**：サーバーは受信後、サーバー情報をログに記録し、クライアントがファイル監視機能をサポートしている場合は、workspace/didChangeWatchedFiles通知の監視登録をクライアントに要求する。

## 通知種別

LSP通知 (クライアント → サーバー)

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期（即座に処理） |
| 優先度 | 最高（ライフサイクル必須） |
| リトライ | なし（通知のため応答なし） |

### 送信先決定ロジック

クライアントからサーバーへの一方向通知のため、送信先決定ロジックは不要。

## 通知テンプレート

### パラメータ構造

| 項目 | 内容 |
|-----|------|
| メソッド名 | initialized |
| パラメータ型 | InitializedParams（空） |
| プロトコル | JSON-RPC 2.0 over stdio |

### パラメータ定義

```json
{}
```

### 添付ファイル

該当なし（LSP通知にファイル添付機能なし）

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| なし | パラメータなし | - | - |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| ライフサイクル | initialize完了 | initializeレスポンス受信後 | クライアント内部初期化完了時 |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| initialize未完了 | initializeリクエストが完了していない場合 |
| 既に送信済み | initialized通知は1回のみ送信 |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[initializeレスポンス受信] --> B[クライアント内部初期化]
    B --> C[initialized通知送信]
    C --> D[サーバーで受信]
    D --> E[handler/initializedを呼び出し]
    E --> F[サーバー情報をログ記録]
    F --> G{ファイル監視サポート?}
    G -->|Yes| H[registerCapability要求作成]
    G -->|No| I[終了]
    H --> J[client/registerCapabilityリクエスト送信]
    J --> I
```

## データベース参照・更新仕様

### 参照テーブル一覧

| テーブル名 | 用途 | 備考 |
|-----------|------|------|
| db/client-info | クライアント情報参照 | ログ出力用 |
| db/client-capabilities | クライアント機能参照 | ファイル監視サポート判定 |
| db/project-root-uri | プロジェクトルート参照 | ログ出力用 |

### テーブル別参照項目詳細

#### db/client-capabilities

| 参照項目（カラム名） | 用途 | 取得条件 |
|-------------------|------|---------|
| [:client-capabilities :workspace :did-change-watched-files] | ファイル監視サポート判定 | - |

### 更新テーブル一覧

該当なし（読み取り専用処理）

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| ログ出力エラー | ログファイル書き込み失敗 | 例外処理で対応 |
| registerCapability失敗 | クライアントが要求を拒否 | ログ出力して継続 |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | 0（通知のためリトライなし） |
| リトライ間隔 | N/A |
| リトライ対象エラー | N/A |

## 配信設定

### レート制限

| 項目 | 内容 |
|-----|------|
| 送信回数 | セッションあたり1回のみ |
| 1分あたり上限 | N/A |
| 1日あたり上限 | N/A |

### 配信時間帯

制限なし（サーバー起動時に1回のみ）

## セキュリティ考慮事項

- サーバー情報（バージョン、クライアント名等）がログに記録される
- ユーザー名がログに記録される可能性がある（System/getProperty "user.name"）

## 備考

- LSP仕様: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#initialized
- この通知は応答を返さない(notification)
- initializeリクエストとは異なり、initialized通知後にサーバーはクライアントへリクエストを送信可能になる
- ファイル監視の登録はknown-files-pattern（`**/*.{clj,cljs,cljc,cljd,edn,bb,clj_kondo}`）で行われる

---

## コードリーディングガイド

本通知を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

まず、プログラム間で受け渡されるデータ構造を理解することが重要である。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | db.clj | `lib/src/clojure_lsp/db.clj` | :client-info, :client-capabilities構造 |

**読解のコツ**: initializeリクエストで設定されたクライアント情報が、initialized通知でどのように参照されるかを理解すること。

#### Step 2: エントリーポイントを理解する

処理の起点となるファイル・関数を特定する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | server.clj | `cli/src/clojure_lsp/server.clj` | receive-notification multimethod定義 |

**主要処理フロー**:
1. **572-574行目**: `initialized`メソッドのdefmethod定義
2. **573行目**: handler/initializedの呼び出し
3. **574行目**: registerCapabilityリクエストの送信（条件付き）

#### Step 3: ハンドラー層を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | handlers.clj | `lib/src/clojure_lsp/handlers.clj` | initialized関数の定義 |

**主要処理フロー**:
- **203-216行目**: initialized関数本体
- **206-212行目**: サーバー情報のJSON生成とログ出力
- **213-216行目**: ファイル監視サポート確認と登録オプション生成

### プログラム呼び出し階層図

```
jsonrpc.server/receive-notification "initialized"
    |
    +-- server.clj (572-574行目)
           |
           +-- handler/initialized (handlers.clj 203-216行目)
           |      |
           |      +-- json/generate-string (サーバー情報)
           |      +-- logger/info (ログ出力)
           |      +-- [:client-capabilities :workspace :did-change-watched-files] 確認
           |      +-- {:registrations [...]} 生成 (条件付き)
           |
           +-- jsonrpc.server/send-request "client/registerCapability" (574行目)
                  (register-capabilityが返された場合のみ)
```

### データフロー図

```
[入力]                      [処理]                           [出力]

InitializedParams (空)
    |
    v
handler/initialized
    |
    +---> @db* (クライアント情報取得)
    |            |
    |            +---> :client-info :name
    |            +---> :client-info :version
    |            +---> :project-root-uri
    |
    +---> json/generate-string (サーバー情報)
    |            |
    |            v
    +---> logger/info (ログ記録)
    |
    +---> @db* [:client-capabilities :workspace :did-change-watched-files]
                 |
                 +---> [サポートあり]
                 |            |
                 |            v
                 |     {:registrations [{:id "id"
                 |                       :method "workspace/didChangeWatchedFiles"
                 |                       :register-options {:watchers [...]}}]}
                 |            |
                 |            v
                 |     client/registerCapability -> クライアントへリクエスト
                 |
                 +---> [サポートなし] nil
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| server.clj | `cli/src/clojure_lsp/server.clj` | ソース | LSPサーバーのエントリーポイント、通知受信 |
| handlers.clj | `lib/src/clojure_lsp/handlers.clj` | ソース | 各種LSPメッセージのハンドラー |
| db.clj | `lib/src/clojure_lsp/db.clj` | ソース | データベース構造定義 |
| shared.clj | `lib/src/clojure_lsp/shared.clj` | ソース | clojure-lsp-version関数 |
| kondo.clj | `lib/src/clojure_lsp/kondo.clj` | ソース | clj-kondo-version関数 |
| fixture.clj | `cli/integration-test/integration/fixture.clj` | テスト | initialized-notification定義 |
