持たないもの
このデータの解像度は基本計画レベルである。足りないのではなく、そこに置いてある。以下は、置かないと決めたものの一覧である。
原本における幾何
平面図も面積も動線も、書かれるのではなく導かれる。空間が持つのは通り芯への参照であって座標ではない。壁の位置は二つの空間の関係から現れ、柱は通り芯と床の交わりから現れ、段割りは領域と階高から現れる。
例外は与件だけである — 敷地形状の polygon と、描かれた線。前者は所与であって設計の産物ではなく、後者は設計者が引いた線そのもので、他の何かから出てくるものではない。
なぜ持たないか。幾何はこれから現実側から取れる。スキャン、SLAM、写真測量 — 形を得る手段は安くなり続ける。取れるようになるものを、わざわざ原本に書いて持つ理由はない。
点群からは決して出てこないものがある。ここが何の空間か。この境界は誰と誰の境か。この扉は通ってよいのか。いつからそうなのか。意味と関係と同一性は、観測では得られない。書くしかない。
だから原本は書くしかないものを持つ。形を原本に持たないことは妥協ではなく、役割の定義である。そして、書くしかないものだけを持てば軽い。軽ければ一棟が丸ごと機械の視野に入る。軽さは目的ではなく、役割から出る結果である。
配置の仕組み
内包は座を与えない。柱と機器は「どの空間に含まれるか」だけを持ち、そこから形は作れない。
配置の仕組みを持てば、原本に座標が戻ってくる。柱が形を持つのは、通り芯という与件と床という導出が交わるからであって、「ここに置く」と書いたからではない。
建築的な判定を原本の契約に含めること
採光の 1/7 も、接道の 2m も、階段の踏面の下限も、原本の構成が満たすべき不変量ではない。
判定は別の面にある。そこは凍らず、増える。core が数を返し、検証が数に線を引く — この分業が崩れると、法規や慣習の一つを足すたびに言語の版が動くことになる。
check が緑であることの意味は約束の範囲が定義しており、そこに建築的な妥当性は入っていない。
実務解像度の追求
カバー率は価値ではない。
足せば足すほど機械の視野から外れ、目的が壊れる。天井が室の輪郭と一致しない場合(折上げ・下がり天井・数室にまたがる連続天井・カーテンウォール手前の見切り)は、基本計画の解像度の外である。逃げ道は ceiling:0(現し天井)の一つだけで、それ以上の作図を受け取る語は無い。
同じ理由で、曲線を持たない。螺旋階段は折返しの連続として書く。
往復互換
出口は作るが往復は作らない。正準 JSON は .muro のパーサを持たないプログラムへの出口だが、そこから読み戻す関数は無い。系への入口は parse だけである。
原本は一つでよい、という選択である。読み込む側を作れば、原本が二つになる。
それでも開いている場所
持たないことと、書けないことは違う。
運搬層は名前空間つきで開いている。acme.sensor:23 bems.temp:24.5 survey.measured:2026-03-11 — 何でも書けて、そのまま運ばれる。core はそれを見ないと宣言している。
開いていることと信頼できることは、境界が宣言されていれば両立する。宣言が無ければ、見ていないことと、見て問題がないことが区別できない。その状態の「異常なし」は何も意味しない。
だから名前空間を持たない未知のキーはエラー(ATT03)である。持てるが判定しないは正当な状態であり、それを明示することが自由の条件である。