骨格を敷く
node <skills>/cradle-init/scripts/init.mjs --project <Root> [--domain "<一言>"] [--dir <path>] [--backend <package>] [--only <prefix>] [--dry-run] [--force]
<skills> は cradle-core 規則のとおり(Claude Code .claude/skills / Codex .agents/skills)。<Root> は Lean のルート名前空間(大文字始まり。例: MonoWa)。lake の exe 名はその小文字。
--domain "<一言>" はプロダクトの一言(ドメインの事実なので documents/ddd/event-timeline.md の冒頭 プロダクト: 行に書く。探索役の最初の問いの出発点になる)。
敷くもの: cradle.json、.apm/instructions/project.instructions.md(このプロジェクト固有の事実。Claude Code では apm install が .claude/rules/project.md に、Codex では apm compile --single-agents が AGENTS.md に写す)、.gitignore(追記)、
.github/workflows/cradle.yml(lake build と cradle の検査を CI で回す)、documents/ddd/(5 ファイル)、documents/ai-notes/README.md、documents/infra-design/(README + 01〜04)、documents/codebase/openapi.yaml、
lean/(動く最小ドメイン「メモ」付き。lake build → CLI → モックアップ → golden がその場で通る)。既存ファイルは据え置く。
ターゲット別の設定例は置き場があるものだけ: Claude Code の許可リストの例(settings.local.json.example。.claude/ に置く)、.codex/config.toml(AGENTS.md の上限を上げる)。
--backend com.example.notes を付けると backend/ktlint-rules/(設計上の作法を検査する独自ルール 8 本)・.editorconfig・gradle.properties も敷く(backend フェーズの入口で)。
--only <prefix> --force は、そのパスで始まる骨格由来のファイルだけを敷き直す(例: Cradle を更新したあと --only lean/Main.lean --force と --only lean/mockup/server.mjs --force。Main.lean と server.mjs は骨格の持ち物で作り込まない。作り込んだ index.html は上書きしない。まだ汎用のままなら --only lean/mockup --force で UI ごと。lean/<Root>/Runtime/ はプロジェクトの持ち物なので敷き直さず、新しいファイルだけ --only で足す — 順序は docs の導入手順)。
敷いたあと
- プロダクトの一言は
documents/ddd/event-timeline.md の冒頭 プロダクト: 行(--domain が書く。置き場のまま((一言で))なら ddd.mjs start --domain "<一言>" が書く)。.apm/instructions/project.instructions.md の残りの固有の事実は apm install で rules に写す(Codex は apm compile --single-agents で AGENTS.md に。apm compile は rules を書かない)。
cd lean && lake build → cradle status(Lean が「ビルド済」になる)。lean/README.md のドメインの節を書く。
- ddd スキルで探索を始める。最小ドメイン(Note)は探索の根拠にならず(
cradle status が「骨格のサンプル」と示す)、形式化の最初のセッションで丸ごと置き換える(層の形は残す)。
- frontend / backend / infra / e2e は各フェーズのスキル(frontend / backend-implement / infra-implement / e2e-parity)が順に作る(順序を飛ばさない)。
Lean の骨格に含まれるもの
Prelude・Domain/{Annotations,ValueObject,Error,Entity/Note}・Application/{ActorContext,RepositoryState,ReadModel,View,Projection,UseCase/{PostNote,CloseNote,Notes}}・
Runtime/{Ids,Command,Observation,Environment,Machine,Reachable,Views,Json,Scenarios}・Laws/Properties・Main.lean(Cradle 標準プロトコル。5 cmd と external)・mockup/。
どのファイルもそのまま規約の実例で、references/lean-conventions.md(lean-domain-model スキル)が指す。