bp-rust-wasm

Sterne0

Forks0

Aktualisiert21. Juli 2026 um 14:35

Rust ベストプラクティス(Plecto WASM フィルタ向け、Edition 2024)。plecto:filter WIT コントラクトを実装する WASM Component Model フィルタの規約とツールチェーン。

Installation

Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.

Quelle

Kaikei-e

Kaikei-e/moka-1

GitHub-Repository öffnen Creator-Repositorys ansehen

Download

Verwandte BerufeSOC

Basierend auf der SOC-Berufsklassifikation

SoftwareentwicklerInformatik- und Mathematikberufe·SOC 15-1252

SKILL.md

readonly

name	bp-rust-wasm
description	Rust ベストプラクティス(Plecto WASM フィルタ向け、Edition 2024)。plecto:filter WIT コントラクトを実装する WASM Component Model フィルタの規約とツールチェーン。

Rust Best Practices (Plecto WASM Filters)

moka-1 の Rust はサーバーではなく WASM Component Model フィルタ(plecto:filter@0.3.0 WIT コントラクト実装 — 契約バージョンは Plecto 本体と独立採番)。 Alt の tokio サーバー規約とは別物。ここでの失敗・不便はドッグフーディングの成果物 — 回避策で黙って進めず Plecto に issue/ADR を起票する(tenets §3.5)。

ツールチェーン(Plecto 0.5.3 / MSRV 1.97.1 — WIT は Phase 2 実装 2026-07-19 の plecto:filter@0.3.0 のまま)

wasm32-unknown-unknown + wasm-tools component new の2段構え(Plecto docs/writing-a-filter.md の公式手順。wasip2 ではない — Tier A フィルタは zero-WASI で、wasi:* import が1つでもあるとロード拒否される)。cargo-component も使わない:
```
rustup target add wasm32-unknown-unknown
cargo build --target wasm32-unknown-unknown --release
wasm-tools component new target/wasm32-unknown-unknown/release/<name>.wasm -o <name>.component.wasm
wasm-tools component wit <name>.component.wasm   # import が plecto:filter/* のみか確認
```
moka-1 では plecto/build/filters-build.sh(one-shot ジョブ)がこの手順の単一ソース。
バインディングは wit-bindgen(0.59系)の generate! マクロ: WIT は wkg get plecto:filter@0.3.0(ghcr.io / prefix kaikei-e/wit/)で取得し plecto/filters/wit/ に vendor(リリースノートの digest と照合してから使う):
```
wit_bindgen::generate!({ world: "filter", path: "wit" });
```
Cargo.toml: edition = "2024", crate-type = ["cdylib"], 自前 [workspace] 宣言(親 workspace に吸収させない)。リリースプロファイルはサイズ最適化:
```
[profile.release]
opt-level = "s"
lto = true
strip = true
```
WASI 0.3 (P3) はまだ追わない: 2026 年時点で RC 段階。Plecto は 0.2 系 Component Model。再検討トリガー: Plecto 本体が P3 / async component に移行したら

フィルタ設計

決定は必ず 3 値を明示的に返す: continue / modified(edit) / short-circuit(synthetic-response)。暗黙のフォールスルーを書かない
fail-closed: 認証・防御フィルタで「エラーだから素通し」は絶対に書かない。パース失敗・KV 不達・想定外入力はすべて short-circuit(401/403/500)に倒す:
```
let Some(key) = headers.get("x-api-key") else {
    return Decision::ShortCircuit(unauthorized());
};
```
capability は deny-by-default: manifest で lend された host API(host-log / host-clock / host-kv / host-counter / host-ratelimit)以外を前提にしない。新 capability が必要になったら、まずそれが「per-request ポリシー」か「グローバル横断関心事」かを問う — 後者なら Plecto ネイティブ側の仕事(ADR 29 の role-driven placement)
フィルタはステートレス: static mut・OnceLock でのリクエスト跨ぎ状態は禁止。trust-branched 実行(pooled か fresh-per-request か)は運用側の決定であり、フィルタはどちらでも正しく動く必要がある。共有状態は host-kv / host-counter へ
1 フィルタ = 1 関心事: 認証フィルタにレート制限を混ぜない。チェーンの合成は plecto/manifest.toml の仕事
予算感覚: pooled 実行のオーバーヘッドは ~2µs/req。ホットパス(on-request)でのアロケーション・正規表現コンパイルを避ける。regex が要るなら init() で構築して resource に保持

一般 Rust 原則

エラー型は thiserror: #[derive(Debug, Error)] でフィルタ内エラーを定義し、最終的に WIT の decision に写像する。anyhow は使わない(境界が WIT なので型を保つ)
借用優先: .clone() を安易に使わない。&str > String、&[u8] > Vec<u8>。ヘッダ処理はゼロコピーを意識
match 網羅性: WIT variant・自前 enum とも _ ワイルドカードより明示的なバリアント列挙。WIT 側の追加をコンパイルエラーで検出する
pub(crate) デフォルト: 公開は wit-bindgen が要求するエクスポートのみ
println! / eprintln! / tracing 禁止: ログは host-log capability のみ。時刻は host-clock(SystemTime::now() はサンドボックスで lend されない前提で書く)
panic はトラップ: フィルタの panic は Plecto 側で fail-closed 扱いになる(通信は落ちる)。回復可能な失敗は Result で運び、panic は「バグ」の意味にのみ予約。unwrap() は初期化時と不変条件の明示(コメント付き)のみ

テスト

ロジックは native でユニットテスト: 判定ロジックを host API 非依存の純関数(&HeaderMap -> Verdict 的シグネチャ)に切り出し、cargo test(ホスト native)で回す。host API はトレイトで抽象化してフェイクを注入
境界は E2E で: WIT 越しの実挙動は Plecto ホストに実際にロードして Hurl で検証(tdd-workflow の e2e/hurl/edge/)。wasmtime を使った自前ハーネスは作らない(Plecto のカンフォーマンステストに寄せる)
CI パリティ: cargo fmt --check && cargo clippy --all-targets -- -D warnings && cargo clippy --target wasm32-unknown-unknown --release -- -D warnings && cargo test && cargo build --target wasm32-unknown-unknown --release

配布(Phase 2 で前倒し確定)

Plecto はローカルでも bare .wasm をロードしない — 署名済み OCI image-layout + digest pin + [trust] 公開鍵が必須(fail-closed)。moka-1 では one-shot ジョブ2本(plecto-filters-build → plecto-manifest-render)がビルド〜署名〜manifest レンダリングを担い、反映は docker compose run --rm で両ジョブ再実行 → docker compose kill -s HUP plecto。GHCR への OCI 配布は Phase 4(tenets §3.5)

参照

docs/tenets/moka-tenets.md — 本スキルの「tenets §N」参照はこの文書の節番号

Mehr aus diesem Repository

gleiches Repository

grill-with-docs

Kaikei-e/moka-1

Grilling session that challenges your plan against moka-1's documented design decisions (tenets, ADRs) and domain model, sharpens terminology, and updates documentation (CONTEXT.md, ADRs) inline as decisions crystallise. Use when the user wants to stress-test a plan against the project's language and documented decisions, or says 「設計を詰めて」「用語を固めて」「ドキュメントと突き合わせて」.

2026-07-030

clean-architecture

Kaikei-e/moka-1

クリーンアーキテクチャの依存ルールを moka-1 のミニマリズム制約下で適用する指針。レイヤ分割・interface 設計・依存方向の判断基準と、過剰抽象化を避けるガードレールを提供する。

2026-07-030

web-research

Kaikei-e/moka-1

Web調査の方法論。一次ソース(RFC・公式仕様・公式ドキュメント・原論文・ソースコード)を最優先し、検索クエリの多角化・横断的検証(lateral reading)・独立ソースでの三角測量を経て、出典付きで報告する手順。

2026-07-030

docker-compose

Kaikei-e/moka-1

moka-1 スタックの Docker Compose 操作と compose.yaml の書き方。ワンキック起動・開発ループ・ヘルスチェック・開発機(iGPU/Vulkan)固有設定・トラブルシュート。

2026-07-020

bp-go

Kaikei-e/moka-1

Go ベストプラクティス(moka-core 向け、Go 1.26+)。常駐エージェントループ・LLM クライアント・フィード取得を含む moka-core の実装規約。

2026-07-020

bp-python

Kaikei-e/moka-1

Python ベストプラクティス(eval/ 専用、Python 3.14 + uv + Pyrefly + Ruff)。モデル A/B・プロンプト評価スクリプトの規約と再現性の作法。

2026-07-020

Rust Best Practices (Plecto WASM Filters)

ツールチェーン(Plecto 0.5.3 / MSRV 1.97.1 — WIT は Phase 2 実装 2026-07-19 の plecto:filter@0.3.0 のまま)

wasm32-unknown-unknown + wasm-tools component new の2段構え(Plecto docs/writing-a-filter.md の公式手順。wasip2 ではない — Tier A フィルタは zero-WASI で、wasi:* import が1つでもあるとロード拒否される)。cargo-component も使わない:

rustup target add wasm32-unknown-unknown
cargo build --target wasm32-unknown-unknown --release
wasm-tools component new target/wasm32-unknown-unknown/release/<name>.wasm -o <name>.component.wasm
wasm-tools component wit <name>.component.wasm   # import が plecto:filter/* のみか確認

moka-1 では plecto/build/filters-build.sh(one-shot ジョブ)がこの手順の単一ソース。

バインディングは wit-bindgen(0.59系)の generate! マクロ: WIT は wkg get plecto:filter@0.3.0(ghcr.io / prefix kaikei-e/wit/)で取得し plecto/filters/wit/ に vendor(リリースノートの digest と照合してから使う):

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

Cargo.toml: edition = "2024", crate-type = ["cdylib"], 自前 [workspace] 宣言(親 workspace に吸収させない)。リリースプロファイルはサイズ最適化:

[profile.release]
opt-level = "s"
lto = true
strip = true

WASI 0.3 (P3) はまだ追わない: 2026 年時点で RC 段階。Plecto は 0.2 系 Component Model。再検討トリガー: Plecto 本体が P3 / async component に移行したら

フィルタ設計

決定は必ず 3 値を明示的に返す: continue / modified(edit) / short-circuit(synthetic-response)。暗黙のフォールスルーを書かない

fail-closed: 認証・防御フィルタで「エラーだから素通し」は絶対に書かない。パース失敗・KV 不達・想定外入力はすべて short-circuit(401/403/500)に倒す:

let Some(key) = headers.get("x-api-key") else {
    return Decision::ShortCircuit(unauthorized());
};

capability は deny-by-default: manifest で lend された host API(host-log / host-clock / host-kv / host-counter / host-ratelimit)以外を前提にしない。新 capability が必要になったら、まずそれが「per-request ポリシー」か「グローバル横断関心事」かを問う — 後者なら Plecto ネイティブ側の仕事(ADR 29 の role-driven placement)

フィルタはステートレス: static mut・OnceLock でのリクエスト跨ぎ状態は禁止。trust-branched 実行(pooled か fresh-per-request か)は運用側の決定であり、フィルタはどちらでも正しく動く必要がある。共有状態は host-kv / host-counter へ

1 フィルタ = 1 関心事: 認証フィルタにレート制限を混ぜない。チェーンの合成は plecto/manifest.toml の仕事

予算感覚: pooled 実行のオーバーヘッドは ~2µs/req。ホットパス(on-request)でのアロケーション・正規表現コンパイルを避ける。regex が要るなら init() で構築して resource に保持

一般 Rust 原則

エラー型は thiserror: #[derive(Debug, Error)] でフィルタ内エラーを定義し、最終的に WIT の decision に写像する。anyhow は使わない(境界が WIT なので型を保つ)

借用優先: .clone() を安易に使わない。&str > String、&[u8] > Vec<u8>。ヘッダ処理はゼロコピーを意識

match 網羅性: WIT variant・自前 enum とも _ ワイルドカードより明示的なバリアント列挙。WIT 側の追加をコンパイルエラーで検出する

pub(crate) デフォルト: 公開は wit-bindgen が要求するエクスポートのみ

println! / eprintln! / tracing 禁止: ログは host-log capability のみ。時刻は host-clock(SystemTime::now() はサンドボックスで lend されない前提で書く)

panic はトラップ: フィルタの panic は Plecto 側で fail-closed 扱いになる(通信は落ちる)。回復可能な失敗は Result で運び、panic は「バグ」の意味にのみ予約。unwrap() は初期化時と不変条件の明示(コメント付き)のみ

テスト

ロジックは native でユニットテスト: 判定ロジックを host API 非依存の純関数(&HeaderMap -> Verdict 的シグネチャ)に切り出し、cargo test(ホスト native)で回す。host API はトレイトで抽象化してフェイクを注入

境界は E2E で: WIT 越しの実挙動は Plecto ホストに実際にロードして Hurl で検証(tdd-workflow の e2e/hurl/edge/)。wasmtime を使った自前ハーネスは作らない(Plecto のカンフォーマンステストに寄せる)

CI パリティ:

cargo fmt --check && cargo clippy --all-targets -- -D warnings && cargo clippy --target wasm32-unknown-unknown --release -- -D warnings && cargo test && cargo build --target wasm32-unknown-unknown --release

配布(Phase 2 で前倒し確定)

Plecto はローカルでも bare .wasm をロードしない — 署名済み OCI image-layout + digest pin + [trust] 公開鍵が必須(fail-closed)。moka-1 では one-shot ジョブ2本(plecto-filters-build → plecto-manifest-render)がビルド〜署名〜manifest レンダリングを担い、反映は docker compose run --rm で両ジョブ再実行 → docker compose kill -s HUP plecto。GHCR への OCI 配布は Phase 4(tenets §3.5)

参照

docs/tenets/moka-tenets.md — 本スキルの「tenets §N」参照はこの文書の節番号