リファレンス
ここに書かれていることが正である。引くための巻であって、通して読んで身につく作りにはしていない。学ぶなら はじめての .muro、目的から引くなら 手順 を見る。
各巻は koyu の面でできている — 書く言葉、ツールが返してくるメッセージ、コマンド、サーバー、ライブラリ、導出される形。触っている面から引く。
書く
| 巻 | 何に答えるか |
|---|---|
| .muro の全構文 | この語はどう綴るか。何を書けて、何が既定になるか |
宣言ごとに一枚ある。space zone boundary door window column import over/drop ほか。属性の値域と既定値は各宣言の頁が持ち、層をまたぐ規則は 合成 が持つ。
確かめる
| 巻 | 何に答えるか |
|---|---|
| 診断コード索引 | koyu check が出したこのコードは何で、どこを直すか (65件) |
| koyu validate | 建築的な判定。check の保証ではない (15規則) |
二つは別の面である。何が違うかは check と validate の違い にある。
動かす
| 巻 | 何に答えるか |
|---|---|
| koyu コマンド | サブコマンド14個の引数・旗・出力・終了コード |
| koyu-mcp | エージェントから触るための面。12ツールと JSON-RPC の契約 |
| TypeScript API | @kensnzk/koyu の公開名 (実行時の値59・型77) と四つの入口 |
出てくるもの
| 巻 | 何に答えるか |
|---|---|
| 形 | 書かれた構成から、どうやって一意な形が決まるか。導出定数と公差 |
| 正準 JSON | 機械が読む形。バイトの規範と安定性の規則 |
約束の範囲
| 頁 | 何に答えるか |
|---|---|
| 約束の範囲 | check が緑であることは何を意味し、何を意味しないか |
| 凍る面 | 版をまたいで依存してよいもの。言語の版と実装の版 |
| 同一性 | uid — どこに書け、いつ必要になり、何を保証するか |
| 持たないもの | 意図してできないようにしてあること |
語が分からなくなったら 用語集。