Eo thắt là một tập nhỏ nguyên thủy, mỗi cái định nghĩa cứng (RFC 2119 — MUST / MUST NOT / SHOULD), để mọi thứ bên trên cắm vào với tự do trọn vẹn. Vì Chúng ta tự buộc mình vào sự trung thực, bảng dưới cho biết không chỉ mỗi nguyên thủy là gì mà nó thật tới đâu hôm nay — kể cả mẩu duy nhất còn là stand-in.

#	Nguyên thủy	Module	Bất biến cốt lõi	Trạng thái
1	UIR — Universal Identity Root	`x/uir`	Một danh tính toàn cục; tài khoản mỗi chain suy ra tất định; một chữ ký ủy quyền	Thật
2	UAC — Universal Asset Commitment	`x/uac`	Bất biến tổng cung `total == Σ perChain + lockedInTransit`; security-class tối thiểu mỗi tài sản	Thật
3	XMP — XChain Messaging Protocol	`x/xmp`	Nhắn tin trust-minimized; tách rành mạch READ và WRITE	Thật (anti-replay + containment)
4	PAI — Proof Aggregation Interface	`x/pai`	Cha xác minh con không chạy lại; tổng hợp đệ quy	Aggregation thật · prover MOCK (§10)
5	DA Interface (tiered)	`fabric/da` + `tools/dasidecar`	Dữ liệu đã commit truy hồi/lấy mẫu được theo policy của tầng	Thật (Celestia mocha)
6	VLC — Verifiable Log Commitment	`x/vlc`	Log append-only: tamper-evident + timestamp + inclusion-provable; value-free	Thật (Merkle RFC 6962)
7	SC — Settlement Contract	`x/settlement`	Logic tối thiểu ở Global Root: finalize giá trị liên vùng, consume proof tổng hợp	Thật (không commit mù)

⚠️ Nguyên thủy #4 (PAI) dùng prover MOCK. Mạch tổng hợp (STC → Cell → Root) là thật; bằng chứng mật mã bên dưới là mock, và ProofSystem.MOCK bị từ chối trên mọi mạng ≠ testnet. Prover thật (SP1/Boojum) là việc mở — xem §10. Nên Chúng ta không nói "đã dùng SP1".

Các nguyên thủy ghép theo thứ tự phụ thuộc chặt: UIR → (UAC, XMP) ; DA → (VLC, PAI) ; (UAC, XMP, PAI, VLC) → SC.

Sơ đồ

Hình 4 — Đồ thị phụ thuộc của bảy nguyên thủy.

Câu chốt: đóng băng một lõi nhỏ, đúng đắn, và hàng nghìn người có thể xây những thứ khác nhau một trời một vực bên trên mà vẫn interoperate. Internet đã làm thế với TCP/IP; XChain làm thế cho dữ liệu kiểm chứng được.