# WASM プロファイルリファレンス このリファレンスは、Taida が受け付ける WebAssembly ターゲット名と、 各プロファイルで利用できる機能の境界を定義します。ここに掲載する プロファイル名は `taida build` が受け付ける公開仕様の一部であり、 新規プロファイルの追加・既存プロファイルの意味変更は世代をまたぐ 変更として扱います。 コマンド構文は `docs/reference/cli.md` を、複数ターゲットを束ねる ビルド構成の互換性は `docs/reference/build_descriptors.md` を参照 してください。 --- ## プロファイル名 | プロファイル | 目的 | 実行環境の前提 | |--------------|------|----------------| | `wasm-min` | 最小構成の移植可能な WebAssembly 出力 | WASI ホスト関数およびアドオンディスパッチャを利用しません | | `wasm-wasi` | WASI 上で動作するコマンド／ランタイム向け出力 | 明示的に対応した範囲で WASI preview1 のホスト関数を利用します | | `wasm-edge` | エッジランタイム向けの WebAssembly 出力 | 明示的に対応したエッジホスト機能のみを利用します | | `wasm-full` | Taida の完全機能版 WASM プロファイル | WASI ランタイムに加え、ホスト経由のアドオン呼び出しを利用できます | これらのプロファイル名は別名ではありません。あるパッケージや API が `wasm-full` で動作するからといって、`wasm-min` / `wasm-wasi` / `wasm-edge` でも自動的に動作するわけではありません。 --- ## アドオン呼び出し アドオンに裏打ちされたインポートは `wasm-full` でのみ利用できます。 `wasm-min` / `wasm-wasi` / `wasm-edge` はアドオンディスパッチャを 持たないため、該当インポートは決定的な診断とともにコンパイル時に 拒否されます。 WASM からアドオンを呼び出すマニフェストでは、`native/addon.toml` の `targets` に `"wasm-full"` を明示してください。マニフェスト側の 許可リストと、非対応バックエンドに対する診断文の仕様は `docs/reference/addon_manifest.md` を参照してください。 --- ## コアパッケージの互換性 taida 本体にバンドルされるコア同梱パッケージの互換性はプロファイルごとに次のとおりです。 | パッケージ領域 | `wasm-min` | `wasm-wasi` | `wasm-edge` | `wasm-full` | |----------------|------------|-------------|-------------|-------------| | `taida-lang/os` | 利用不可 | 文書化済みの WASI 向け部分集合 | 文書化済みのエッジ向け部分集合 | `wasm-wasi` と同一の OS 部分集合 | | `taida-lang/net` | 利用不可 | 文書化済みの WASI 向け部分集合 (plaintext HTTP/1.1 `httpServe`) | 利用不可 | `wasm-wasi` と同一の net 部分集合 | | `taida-lang/crypto` | ハッシュ系 (`sha256` / `sha512` / `sha384` / `sha224`) / `hmacSha256` / `constantTimeEquals` / `hexEncode` / `base64Encode` | 左記 + `hexDecode` / `base64Decode` / `randomBytes` | ハッシュ系 / `hmacSha256` / `constantTimeEquals` / `hexEncode` / `base64Encode` / `randomBytes` | `wasm-wasi` と同一 (全 API) | | `taida-lang/abi` | handler ABI / host call ABI | handler ABI / host call ABI | handler ABI / generated Workers glue / host call ABI | handler ABI / host call ABI | | `taida-lang/js` | 利用不可 | 利用不可 | 利用不可 | 利用不可 | | `taida-lang/pool` | 利用不可 | 利用不可 | 利用不可 | 利用不可 | | `taida-lang/build` (ディスクリプタ) | reject | `EnvVar` / `allEnv` / `Read` / `Exists` / `writeFile` / `readBytesAt` のみ受理 | `EnvVar` / `allEnv` のみ受理 | `wasm-wasi` と同一の OS subset | | アドオンに裏打ちされたパッケージ | 利用不可 | 利用不可 | 利用不可 | マニフェストが明示的に対応宣言した場合のみ利用可 | 各パッケージ内の API 単位の対応範囲は、対応する `docs/api/.md` を参照してください。`taida-lang/build` のディスクリプタが各ターゲットで 受理する OS API のサブセットは、`docs/api/build_descriptors.md` の ターゲット別コア API 互換性表に網羅されています。 公式アドオン (例: `taida-lang/terminal`) は taida 本体にバンドルされて おらず、各アドオンの WASM 対応はそれぞれのマニフェストに従います。 対応宣言の書式は `docs/reference/addon_manifest.md` を参照してください。 `wasm-wasi` / `wasm-full` の net 部分集合は、WASI preview1 の継承 fd を使う plaintext HTTP/1.1 `httpServe` です。host が `wasi_snapshot_preview1.sock_accept` を実装している場合は fd 3 の inherited listener を使います。Wasmtime の legacy preview1 実行環境など `sock_accept` を提供しない host では、accept 済み TCP 接続を fd 0/1 に接続する socket-activation 形式で 1 request を処理します。 この部分集合では guest が bind/listen を行わないため `httpServe` の `port` は host 側 listener の選択には使われません。`timeoutMs` と `maxConnections` も host の WASI socket 実装に委譲され、Taida runtime 側では追加の scheduling policy を持ちません。TLS 設定は非空 pack なら compile-time reject されます。 `taida-lang/crypto` のハッシュ系 (`sha256` / `sha512` / `sha384` / `sha224`)、`hmacSha256`、`constantTimeEquals`、`hexEncode`、`base64Encode` はすべての WASM プロファイルで guest 内の純粋な実装として動作します。 これらは `Str` / `Bool` のみを返すため Bytes ランタイムを必要としません。 これらは binding を持つ async host capability ではないため、`HostCall` envelope や host adapter の allow-list には載りません。 `hexDecode` / `base64Decode` (戻り値 `Lax[Bytes]`) は `wasm-wasi` / `wasm-full` のランタイム層に実装があり、この 2 プロファイルでのみ利用 できます。`randomBytes` (戻り値 `Bytes`) は WASI の `random_get` インポートでエントロピーを取得し、`wasm-wasi` / `wasm-full` (WASI ホスト提供) に加えて `wasm-edge` でも利用できます — `wasm-edge` の 生成 glue が `crypto.getRandomValues` (CSPRNG) で `random_get` を提供 します。独自の edge ホストが弱い乱数源で代用することは禁止です (インポート自体を提供しないでください)。`wasm-min` では `hexDecode` / `base64Decode` / `randomBytes` はコンパイル時に決定的な 「does not support」エラーで reject されます。署名検証 (ed25519 等) は まだ公開 surface ではありません。 プレリュードの `nowMs` は WASI `clock_time_get` インポートを使い、 `wasm-wasi` / `wasm-full` / `wasm-edge` で利用できます (`wasm-edge` は 生成 glue が `Date.now()` で提供)。`wasm-min` は WASI インポートを 持たないため reject します。 `taida-lang/net` は現行公開 API が listener / HTTP codec runtime に寄って いるため、`wasm-edge` では引き続き解禁しません。エッジ環境の outbound fetch や KV / D1 / Durable Object のような binding を持つ機能は `taida-lang/abi` の Host capability ABI で扱います。outbound fetch は well-known capability `("fetch", "cloudflare/fetch")` として `wasm-edge` の manifest reader が常時注入します ([`docs/api/abi.md`](../api/abi.md) §3.1)。 --- ## Handler Mode すべての WASM プロファイルは `taida build wasm-* --handler ` を 受け付けます。handler 関数は `taida-lang/abi` の `WebRequest` を受け取り、 `WebResponse` を返します。 handler mode の `.wasm` は通常の `_start` に加えて、host adapter 用の 低レベル ABI export を公開します。 | export | 用途 | |--------|------| | `memory` | request / response JSON を受け渡す linear memory。 | | `taida_abi_web_alloc(len)` | request JSON 用の入力 buffer を確保。 | | `taida_abi_web_start(ptr, len)` | handler session を開始し、session handle を返す。 | | `taida_abi_web_poll(handle)` | `0=response_ready` / `1=host_call_pending` / `2=error` を返す。 | | `taida_abi_web_resume(handle, ptr, len)` | host call resume JSON を渡して session を再開する。 | | `taida_abi_web_handle(ptr, len)` | `start` と同じ session 開始互換 export。 | | `taida_abi_web_out_ptr(handle)` | response JSON または pending host call JSON の先頭 pointer。 | | `taida_abi_web_out_len(handle)` | `out_ptr` が指す JSON の byte length。 | | `taida_abi_web_free(handle)` | session handle の解放 hook。 | `wasm-edge --handler` は、Fetch `Request` / `Response` とこの ABI を接続する `.edge.js` glue も生成します。`wasm-min` / `wasm-wasi` / `wasm-full` では、 利用する host が同じ ABI export を呼び出します。wire JSON の形と Taida 側 API は [`docs/api/abi.md`](../api/abi.md) を参照してください。 Host capability を使う handler では、`poll(handle) == 1` の間、host adapter が `out_ptr` / `out_len` から `host_call` JSON を読み、host 側処理結果を `resume(handle, ptr, len)` に渡します。`wasm-edge` の生成 glue はこの loop を 実装済みです。他の host では adapter が同じ loop を実装します。 --- ## バックエンド間の挙動 言語意味論の基準実装はインタプリタです。WASM プロファイルは インタプリタと同一の挙動を返すか、ターゲットに必要な機能が存在 しない場合に決定的な診断とともにコンパイル時に拒否します。 あるプロファイルから別のプロファイルへ実行時に暗黙にフォールバック することはありません。