細い腰は小さな原語の集合で、それぞれが厳密に仕様化されています（RFC 2119 —— MUST / MUST NOT / SHOULD）。だからその上のすべてが完全な自由をもって差し込めます。下表は各原語のモジュールと不変条件を示します。成熟度の列は設計レベルの要約で——正確で現在の実装状況は 現状とライブネットワーク にあります。

#	原語	モジュール	中核の不変条件	成熟度
1	UIR —— Universal Identity Root	`x/uir`	1 つのグローバル ID。チェーンごとのアカウントは決定的に導出。署名 1 つで認可	実在
2	UAC —— Universal Asset Commitment	`x/uac`	総量の不変条件 `total == Σ perChain + lockedInTransit`。資産ごとの最低セキュリティ・クラス。2 ドメイン境界を強制	実在
3	XMP —— XChain Messaging Protocol	`x/xmp`	信頼を最小化したメッセージング。READ と WRITE のきれいな分離	実在（リプレイ防止 + 封じ込め）
4	PAI —— Proof Aggregation Interface	`x/pai`	親が子を再実行せずに検証。再帰的な集約	集約は実在 · prover：現状を参照
5	DA Interface（階層化）	`fabric/da` + `tools/dasidecar`	コミット済みデータはその tier のポリシーに従い取得可能 / サンプリング可能であり続ける	実在（Celestia）
6	VLC —— Verifiable Log Commitment	`x/vlc`	追記専用ログ：改ざん検出 + タイムスタンプ + 包含証明可能。価値を持たない	実在（RFC 6962 Merkle）
7	SC —— Settlement Contract	`x/settlement`	最小限の Settlement Layer ロジック：地域をまたぐ価値を確定し、集約済みの証明を消費	実在（ブラインドなコミットメントなし）

⚠️ 証明システムは意図的に分離可能にしてあります。 PAI の集約（STC → Cell → Root）は実在しますが、暗号学的な prover は差し替え可能な部品です。設計上 ProofSystem.MOCK はテストネット以外のすべてのネットワークで拒否されます。稼働中のネットワークがある時点で MOCK を使っているのか本物の prover を使っているのかは現状の問いであり、現状とライブネットワーク が答えます——だから prover が前進してもこの設計ページは古びません。

原語は厳密な依存順序で組み合わさります：UIR → (UAC, XMP)；DA → (VLC, PAI)；(UAC, XMP, PAI, VLC) → SC。

図

図 6 — 七つの原語の依存グラフ。

要点： 小さく正しい中核を凍結すれば、何千もの人がその上でまるで違うものを作れて、しかも相互運用できます。インターネットは TCP/IP でそれをやりました。XChain は検証可能なデータについて同じことをします。中核が定まったところで、公平な問いは、この設計が借りてきたシステムたちの中でどこに位置するか——次の節が、順位づけの前に軸を定義したうえで問い、答えます。