bp-rust-wasm

Estrellas0

Forks0

Actualizado21 de julio de 2026 a las 14:35

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

Instalación

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Fuente

Kaikei-e

Kaikei-e/moka-1

Abrir repositorio de GitHub Ver repositorios del creador

Descarga

Ocupaciones relacionadasSOC

Basado en la clasificación ocupacional SOC

Desarrolladores de softwareOcupaciones informáticas y matemáticas·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」参照はこの文書の節番号

Más de este repositorio

mismo repositorio

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」参照はこの文書の節番号