Use to create, update or run the spec-animation mockup under lean/mockup — "run the mockup", "show the model on a screen", "try this scenario", "demo for the expert", "save a golden" — and to build the domain-language screens that let the expert review the model without reading JSON. The mockup executes the Lean model as-is; no logic in JS.
インストールする前に、エージェントに与えられる指示の中身を確認できます。
lean/mockup/ は Lean モデルをそのまま実行エンジンにする使い捨ての検証 UI。本番 frontend ではない。
狙いは 2 つ: 開発前にモデルの帰結をエキスパートが画面で確かめる（Lean が読めない人への読める化）と、golden の採取。
このフェーズの成果物は エキスパートが JSON を読まずに主要な流れを一巡できる画面。骨格の汎用 UI で終わらせない。
Runtime/Views.lean に足す。{"cmd":"init"} で取る。増やすなら Runtime/Scenarios.lean。server.mjs）の役割は 4 つだけ: 静的配信・/api/lean の素通し・/api/golden（init と flow を Lean に流し、応答をそのまま保存。脇書きは version 1。トップに ok の無い応答は保存しない）・/api/meta（spec-query の結果と用語集）。判断を書かない。cradle-init スキルが敷く public/index.html は、views の口ごとの表、/api/meta の schemas（Lean の Command 構造体の型）から生成した入力欄、用語集（ubiquitous-language.md の英語候補 → 用語）による表示名を持つ。判断は持たない。
人が打つ表記が内部表現と違う値オブジェクトは、Runtime/Json.lean の手書き FromJson（文字列 1 本を受ける）と docstring の注記で欄になる（schemas の hint）。型名の特別扱いを index.html に書かない。
外部能力を持つモデル（/api/meta の external）では、環境（environments の名前か script そのもの）の選択、external の init / step、コマンドと内部入力（observationSchemas）のフォーム、障害契約の指名（def 名）、applied / refused / fault / harnessError の描き分け、手ごとの外部能力の往復（interactions）と環境の cursor の記録も骨格が持つ。harnessError は環境と入力列の不一致で、拒否（domainError）ともプロトコルエラーとも別の見た目。
これは「動く」が「読める」ではない。集約と操作の関係、誰が何をできるかは、ドメインの語彙で並べて初めて見える。
cradle status で画面の口（Views）を確かめる。口が無い・足りないなら先に lean-domain-model スキルで Views に足す（描画は Lean の結果を写すだけ。UI で補わない）。null（見られない）と []（見えたうえで空）を描き分ける。フロントエンドはこの規則を引き継がない（画面の単位は業務のまとまり — frontend スキル）。作り込みは index.html の描画を口ごと・コマンドごとに足す形で行う（骨格の lean()・send()・renderAll() の骨は残す）。JS でこしらえるのは描画と入力欄だけ。
作り込んだら冒頭の注記「Cradle 標準の汎用モックアップ」を、この画面が何を映すかの一文に置き換える（cradle status はその注記で「汎用 UI のまま」かを見る）。
Cradle を更新したあと骨格を敷き直すのは server.mjs（cradle-init の --only lean/mockup/server.mjs --force）と CLI の Main.lean（--only lean/Main.lean --force）。index.html は作り込み後のものが正本。
cd lean && lake build && node mockup/server.mjs # → http://localhost:8787（cradle.json の ports.mockup）
すでに動いているポートを使い回す前に、それがこのプロジェクトのものか確かめる（curl -s http://localhost:8787/api/meta）。
操作ログを「golden として保存」→ golden/<name>-init.json / <name>-flow.json / <name>.request.json（脇書き {"version":1,"init","flow"}）。中身を作るのは Lean。
外部能力を使う流れは環境を選んで external で採る。環境を尽くさなくてよい — 途中で止めた流れは最後の cursor が stopAt として脇書きに自動で入る（Cradle の回帰素材では payment-partial がその例）。直前の応答が ok でなければ保存できない。
採ったら cradle golden-check が通ることを確かめ、名前と流れの一言を PR / コミットに書く（README に表を手で保つのではなく、<name>.request.json が正）。
null と [] の描き分け）。documents/ddd/event-timeline.md の出来事を順に、JSON を読まずに一巡できる。断られる手も試し、拒否がその場に出る。外部能力を使う手は環境を選んでから打ち、外部の答え・通知・中断（障害契約の指名）の帰結が画面に出る。まだレビューはありません。使ってみた感想をお寄せください。
概要と使いどころ
Use when adding or changing REST endpoints or the OpenAPI contract — deriving endpoints from the Lean commands and views, writing documents/codebase/openapi.yaml first, then regenerating the backend controller interfaces and the frontend client.
日本語の概要は準備中です。原文の説明を表示しています。
Use after a backend build succeeds or whenever authentication, authorization, actor/identity handling, external service calls (IdP, JWKS, DB, clock), logging, observability, configuration or error contracts are in play — delegates to the backend-design-reviewer agent for a design-quality review of the current branch.
日本語の概要は準備中です。原文の説明を表示しています。
Use when it is time to make the backend follow the Lean model — regenerate Kotlin from Lean, implement the generated interfaces (UseCase, QueryService, Repository, Entity), wire every generated contract test, make the build green, then run the design and SQL reviews. Backend comes after the human confirmed the screens.
日本語の概要は準備中です。原文の説明を表示しています。
Use when you need the current position in the Lean spec-driven pipeline, or any deterministic check of a Cradle project — status, golden regression, Lean layer walls, regeneration impact, unslop lint, ddd cleanup. Runs the scripts under scripts/ and reports their output verbatim.
日本語の概要は準備中です。原文の説明を表示しています。
Use to start a new product on Cradle or to add the Cradle skeleton to an existing repository — writes cradle.json, the project-facts instruction (.apm/instructions/project.instructions.md), documents/{ddd,ai-notes,infra-design,codebase} templates, CI, and a compiling Lean executable-spec scaffold with a minimal example domain, mockup and CLI.
日本語の概要は準備中です。原文の説明を表示しています。
Use when the product owner asks where the project stands, what to do next, or which phase of the Lean spec-driven pipeline is current — runs cradle status and proposes exactly one next step.
日本語の概要は準備中です。原文の説明を表示しています。