WASM Component Modelで"安全な拡張"を作り、AIワーカーの変更を隔離する

┌─────────────────────────────────────────────────┐
│  WASM/WASIの進化（2025-2026）                    │
├─────────────────────────────────────────────────┤
│ ✅ 安定化済み                                    │
│   - WASI Preview 1: ファイルI/O、環境変数       │
│   - Component Model: モジュール間インターフェース│
│   - 主要言語サポート: Rust, Go, C/C++, Zig      │
│                                                 │
│ 🔄 進行中                                        │
│   - WASI 0.3: 非同期I/O、ネットワーク           │
│   - Component Model: ストリーミング             │
│   - JavaScript/TypeScript: jco, componentize-js│
│                                                 │
│ ⏳ 将来                                          │
│   - WASI 0.3+: より豊富なシステムアクセス       │
│   - 標準ライブラリの充実                        │
└─────────────────────────────────────────────────┘

┌────────────────────────────────────────────────┐
│  サンドボックス手法の比較                       │
├────────────────┬────────────┬──────────────────┤
│ 手法           │ 分離レベル │ オーバーヘッド   │
├────────────────┼────────────┼──────────────────┤
│ Dockerコンテナ │ OS         │ 中〜大           │
│ VM             │ ハードウェア│ 大              │
│ WASM           │ ランタイム │ 小               │
│ プロセス分離   │ OS         │ 中               │
└────────────────┴────────────┴──────────────────┘

┌─────────────────────────────────────────────────┐
│  従来: 「触るな」は言葉の約束                    │
├─────────────────────────────────────────────────┤
│ handoff.md: 「secrets/は触らないでください」    │
│                                                 │
│ → AIが無視すれば事故                            │
│ → 人間のレビューで防ぐしかない                  │
└─────────────────────────────────────────────────┘

┌─────────────────────────────────────────────────┐
│  WASM: 技術的に不可能にする                      │
├─────────────────────────────────────────────────┤
│ WASMモジュール: secrets/へのアクセス権限なし    │
│                                                 │
│ → アクセスしようとしてもランタイムがブロック    │
│ → 事故が構造的に起きない                        │
└─────────────────────────────────────────────────┘

┌────────────────────────────────────────────────┐
│  WASM化に向くタスク（周辺から）                 │
├────────────────────────────────────────────────┤
│ 1. ログ整形                                    │
│    - 入力: 生ログ                              │
│    - 出力: 整形済みログ                        │
│    - 副作用: なし                              │
│                                                │
│ 2. 静的解析 / Lint                             │
│    - 入力: ソースコード                        │
│    - 出力: 解析結果                            │
│    - 副作用: なし                              │
│                                                │
│ 3. コード生成                                  │
│    - 入力: テンプレート + データ               │
│    - 出力: 生成コード                          │
│    - 副作用: なし                              │
│                                                │
│ 4. 設定ファイル生成                            │
│    - 入力: パラメータ                          │
│    - 出力: 設定ファイル                        │
│    - 副作用: なし                              │
└────────────────────────────────────────────────┘

// lint-plugin/src/lib.rs
use wit_bindgen::generate;

generate!({
    path: "wit",
    world: "linter",
});

struct LintPlugin;

impl Guest for LintPlugin {
    fn run(source: String) -> Vec<LintError> {
        let mut errors = Vec::new();

        // 例: console.logを検出
        for (line_num, line) in source.lines().enumerate() {
            if line.contains("console.log") {
                errors.push(LintError {
                    line: line_num as u32 + 1,
                    message: "console.log found".to_string(),
                });
            }
        }

        errors
    }
}

// wit/world.wit
package local:linter;

world linter {
    record lint-error {
        line: u32,
        message: string,
    }

    export run: func(source: string) -> list<lint-error>;
}

┌─────────────────┐
│  Root Planner   │
│  (人間 or AI)   │
└───────┬─────────┘
        │ タスク割り当て
        ▼
┌─────────────────────────────────────────────────┐
│                 WASM Sandbox                     │
│  ┌───────────┐  ┌───────────┐  ┌───────────┐   │
│  │ Linter    │  │ Formatter │  │ Generator │   │
│  │ Plugin    │  │ Plugin    │  │ Plugin    │   │
│  └───────────┘  └───────────┘  └───────────┘   │
│                                                 │
│  許可: stdin/stdout のみ                        │
│  禁止: ファイルシステム、ネットワーク           │
└───────────────────────────────────────────────┼─┘
                                                │
                                                ▼
┌─────────────────────────────────────────────────┐
│               Host Application                  │
│                                                 │
│  - WASMの出力を受け取る                         │
│  - ファイル書き込みはHostが制御                 │
│  - 変更はHostがレビュー後に適用                 │
└─────────────────────────────────────────────────┘

# wasm-runtime-config.yaml

plugins:
  linter:
    module: plugins/linter.wasm
    capabilities:
      # stdin/stdoutのみ許可
      stdin: true
      stdout: true
      # 以下は明示的に禁止
      filesystem: false
      network: false
      env: false

  formatter:
    module: plugins/formatter.wasm
    capabilities:
      stdin: true
      stdout: true
      # 読み取り専用ファイルアクセス（限定パス）
      filesystem:
        read_only: true
        paths:
          - "src/**"
          - "tests/**"

❌ Bad: 全部WASM
├── core-logic.wasm        # 巨大、デバッグ困難
├── database-client.wasm   # WASI制限でDB接続困難
├── http-client.wasm       # ネットワーク制限
└── file-processor.wasm    # 大量ファイル処理で遅い

✅ Good: 周辺だけWASM
├── src/                   # 通常のコード
├── plugins/
│   ├── linter.wasm        # 副作用なし、隔離向き
│   ├── formatter.wasm     # 副作用なし、隔離向き
│   └── validator.wasm     # 入力検証、隔離向き
└── core/                  # 通常のコード

Week 1-2: 評価
├── 1つのプラグインをWASM化して検証
├── オーバーヘッド計測
└── デバッグ手法確立

Month 2: 拡張
├── 2-3個のプラグインを追加
├── CI統合
└── エラーハンドリング整備

Month 3+: 安定運用
├── 新プラグインはWASM前提で設計
├── ドキュメント整備
└── チーム展開

# ai/wasm-candidates.md

## WASM化候補（副作用なし）

1. ログ整形スクリプト
   - 入力: 生ログファイル
   - 出力: 整形済みログ
   - 現在: Node.jsスクリプト

2. 設定バリデーション
   - 入力: config.yaml
   - 出力: 検証結果
   - 現在: シェルスクリプト