菜单
moka-1 の Test-Driven Development ワークフロー。新機能実装・バグ修正・リファクタリング時、またはユーザーが「TDDで」と言った時に使用する。outside-in(E2E → Unit)の順で失敗するテストから書き、RED-GREEN-REFACTOR を回し、最後にローカル CI パリティ(format/lint/type/test)を全変更モジュールで通す。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Rust ベストプラクティス(Plecto WASM フィルタ向け、Edition 2024)。plecto:filter WIT コントラクトを実装する WASM Component Model フィルタの規約とツールチェーン。
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 「設計を詰めて」「用語を固めて」「ドキュメントと突き合わせて」.
クリーンアーキテクチャの依存ルールを moka-1 のミニマリズム制約下で適用する指針。レイヤ分割・interface 設計・依存方向の判断基準と、過剰抽象化を避けるガードレールを提供する。
Web調査の方法論。一次ソース(RFC・公式仕様・公式ドキュメント・原論文・ソースコード)を最優先し、検索クエリの多角化・横断的検証(lateral reading)・独立ソースでの三角測量を経て、出典付きで報告する手順。
moka-1 スタックの Docker Compose 操作と compose.yaml の書き方。ワンキック起動・開発ループ・ヘルスチェック・開発機(iGPU/Vulkan)固有設定・トラブルシュート。
Go ベストプラクティス(moka-core 向け、Go 1.26+)。常駐エージェントループ・LLM クライアント・フィード取得を含む moka-core の実装規約。
| name | tdd-workflow |
| description | moka-1 の Test-Driven Development ワークフロー。新機能実装・バグ修正・リファクタリング時、またはユーザーが「TDDで」と言った時に使用する。outside-in(E2E → Unit)の順で失敗するテストから書き、RED-GREEN-REFACTOR を回し、最後にローカル CI パリティ(format/lint/type/test)を全変更モジュールで通す。 |
| allowed-tools | Bash, Read, Glob, Grep, Edit, Write |
| argument-hint | <feature-description> |
順序は outside-in(E2E → Unit)、量はテストピラミッド(E2E 少・Unit 多) (Fowler — Practical Test Pyramid)。 順序と量は別の軸で、同時に適用する。Plan mode でも実装 mode でも、コードやテストが変わりうる作業では従うこと。
Alt との違い — CDC(Pact)フェーズはない:
plecto:filter)が型レベルで契約を強制する。契約テストの代わりに Plecto のカンフォーマンステストと E2E で守る目的: 変更が届けるべき外部から観測可能な振る舞いを、最外殻の失敗するテストとして先に固定する(executable specification)。
| 変更対象 | ツール | 置き場所 |
|---|---|---|
| moka-web の UI / ユーザーフロー | Playwright | web/tests/e2e/*.spec.ts |
| moka-core の HTTP API | Hurl | e2e/hurl/core/*.hurl |
| Plecto フィルタ(認証・レート制限等) | Hurl(Plecto 経由で叩く) | e2e/hurl/edge/*.hurl |
| フルスタック(UI が新 API を呼ぶ) | 両方: Playwright 1 本 + Hurl 1 本 | 上記両方 |
| 内部リファクタ(外部振る舞い不変) | Phase 0 スキップ → Phase 1 へ | — |
| エージェントループの無人動作(ハイライト生成等) | Hurl(トリガー API + 結果ポーリング) | e2e/hurl/agent/*.hurl |
getByRole / getByLabel / getByText / getByTestId。CSS / XPath 禁止await expect(locator).toBeVisible()。expect(await locator.isVisible()).toBe(true) は禁止(auto-wait が効かない)waitForTimeout・手動リトライループ禁止。auto-waiting を信頼するtest() = 1 ユーザージャーニー。fresh browser context で分離。共有 setup は beforeEachstorageState でセッションを再利用(Plecto 認証フィルタ導入後)--variable host=... で渡す。http://localhost:... のハードコード禁止--retry 10 --retry-interval 2000 で /healthz を待つ--jobs 1(FK / sequence の順序が並列で壊れる)jsonpath の順。contains / matches /regex/ / isIsoDate / isUuid / count == N を使い分ける[Captures] + {{var}}。setup をファイル間で複製しない--test --report-junit reports/junit.xmltest(e2e): add failing <feature> scenarioE2E が示す振る舞いを、実装単位の失敗するテストに分解する。
| モジュール | パターン |
|---|---|
| core/ (Go) | テーブル駆動 + t.Run + t.Parallel()。時間依存(スケジューラ・backoff)は testing/synctest で仮想時計。LLM は httptest.NewServer のフェイク(bp-go §27) |
| plecto/filters (Rust) | 判定ロジックを host API 非依存の純関数に切り出し、native cargo test。WIT 境界そのものは E2E に任せる |
| web/ (Svelte/TS) | vitest。コンポーネントは vitest-browser-svelte(実ブラウザ)、純ロジックは node 環境 |
| eval/ (Python) | pytest(評価基盤のロジックにテストが要る場合のみ) |
原則:
"skips enrichment when llm is down")「テストが通る」≠「CI が通る」。触ったモジュールすべてで以下を回す:
# core/ (Go) — golangci-lint は v2 系(.golangci.yml に version: "2")
cd core && gofmt -l . && go vet ./... && go fix ./... && golangci-lint run && go test ./...
# db/ (Atlas — スキーマ / マイグレーションを触った場合のみ。ADR00001)
cd db && atlas migrate validate && atlas migrate lint --latest 1
# plecto/filters (Rust)
cd plecto/filters && cargo fmt --check && cargo clippy --target wasm32-wasip2 -- -D warnings \
&& cargo test && cargo build --target wasm32-wasip2 --release
# web/ (Svelte/TS)
cd web && bun run check && bun run lint && bun test
# eval/ (Python)
cd eval && uv run ruff format --check . && uv run ruff check . && uv run pyrefly check .
ruff format、gofmt -w)は掛けてよいが、掛けたことを報告する