Use whenever a question is about what the specification says or does — "what happens if", "can X do Y", "which errors can this return", "what does the screen show for", "what fields does this command take", "is there an operation for". Answers by running the Lean executable spec (scenarios, commands,
中文简介正在准备中。当前显示原文说明。
查看安装方法安装前可以查看交给 AI 代理的指令内容。
仕様に関する問いは推測で答えない。モデルを動かし、その出力を引用して答える。
道具は cradle spec-query（cradle スキルの scripts/spec-query.mjs。以下 spec-query）。
| 問い | 手順 |
|---|---|
| 「どんな操作がある / 無い」「どんな失敗がある」「外から何が届く」 | spec-query meta → commands / observations（内部入力: 通知・契機。利用者の操作ではない）/ ports / errors をそのまま示す。無いものは「モデルに無い（反機能の一覧 Runtime/Command.lean を確認）」と答える |
| 「このコマンドは何を受け取る」「この型の中身」 | spec-query print <FullName>（例: MonoWa.Application.PostIntentUseCase.Command） |
| 「この状況で X が Y したらどうなる」 | 1) spec-query scenarios で出発点を選ぶ 2) 必要なら spec-query init --scenario S --viewer V で盤面を見る 3) spec-query run --scenario S --actor A --viewer V --today D --commands '[…]' で手を打つ 4) 各手の ok / domainError と最後の views を引用 |
| 「外部が〜と答えたら」「通知が届いたら」「途中で落ちたら」 | Port を使う手・内部入力の手は spec-query external flow --scenario S --environment N --inputs '[…]'（環境の名前は spec-query environments。script そのものは --env @file。1 手ずつなら external init → external step --state @file --env @file --input J）。入力は {"command":…,"actor":…} か {"observation":…}、障害契約の指名は "fault":"<def 名>"。各手の result（applied / refused / fault）と環境の cursor、harnessError なら環境と入力列の不一致（業務の答えではない）を引用。旧 run は環境を持たないので Port を使う手はプロトコルエラーになる |
| 「画面に何が見える」「誰に見える」 | spec-query init / run の views を viewer を変えて比べる（null = そこに無い、[] = 見えたうえで空） |
| 「日付でどう変わる」 | 同じ手を --today を変えて 2 回走らせ、差を示す |
| 「golden のこの流れは何をしている」 | golden/<name>-flow.json の trace を読む。要約せず手の列と結果を写す（外部能力を使う流れの要素は observation / result / interactions / faultContract を持つ。環境は <name>.request.json の environment か応答の env） |
domainError の語彙で言う（notAuthor など）。語彙の意味は Domain/Error.lean の docstring。views の該当する口だけを引用する。spec-query meta
spec-query print Sprout.Application.CloseNoteUseCase.Command
spec-query run --scenario basic --viewer 1 --actor '{"user":{"id":2}}' \
--commands '[{"closeNote":{"note":{"id":0}}}]'
# → #1 closeNote by {"user":{"id":2}} → domainError: "notAuthor"
spec-query environments
spec-query external flow --scenario basic --environment paymentAuthorized --actor '{"user":{"id":1}}' \
--inputs '[{"command":{"startPayment":{"visit":{"id":0}}}},{"observation":{"dispatchPayment":{"attempt":{"id":0}}}}]'
# → #1 startPayment by {"user":{"id":1}} → applied [env cursor 0/1]
# → #2 observation dispatchPayment → applied [env cursor 1/1]
还没有评价。欢迎分享你的使用感受。
无需登录即可发表。欢迎分享使用感受、提问，或说明在哪些环境下无法运行。
还没有评论。来写第一条吧。
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.
中文简介正在准备中。当前显示原文说明。