La cintura estrecha es un conjunto pequeño de primitivos, cada uno especificado con rigor (RFC 2119 — MUST / MUST NOT / SHOULD), para que todo lo que va encima encaje con total libertad. La tabla da el módulo y el invariante de cada primitivo; la columna de madurez es un resumen a nivel de diseño: el estado exacto y actual de la implementación vive en Estado y Red en Vivo.

#	Primitivo	Módulo	Invariante central	Madurez
1	UIR — Universal Identity Root	`x/uir`	Una identidad global; cuentas por cadena derivadas de forma determinista; una firma autoriza	Real
2	UAC — Universal Asset Commitment	`x/uac`	Invariante de suministro total `total == Σ perChain + lockedInTransit`; clase de seguridad mínima por activo; impone la frontera de 2 Dominios	Real
3	XMP — XChain Messaging Protocol	`x/xmp`	Mensajería con confianza minimizada; separación limpia de READ y WRITE	Real (anti-repetición + contención)
4	PAI — Proof Aggregation Interface	`x/pai`	Un padre verifica a los hijos sin volver a ejecutarlos; agregación recursiva	Agregación real · prover: véase Estado
5	DA Interface (por niveles)	`fabric/da` + `tools/dasidecar`	Los datos comprometidos siguen siendo recuperables / muestreables según la política de su tier	Real (Celestia)
6	VLC — Verifiable Log Commitment	`x/vlc`	Registros de solo anexado: manipulación detectable + marca de tiempo + inclusión demostrable; sin valor	Real (Merkle RFC 6962)
7	SC — Settlement Contract	`x/settlement`	Lógica mínima del Settlement Layer: finalizar valor entre regiones, consumir pruebas agregadas	Real (sin compromisos ciegos)

⚠️ El sistema de pruebas es deliberadamente separable. La agregación de PAI (STC → Cell → Root) es real, pero el prover criptográfico es un componente intercambiable; por diseño, ProofSystem.MOCK se rechaza en toda red que no sea testnet. Si la red en marcha usa MOCK o un prover real en un momento dado es una cuestión de estado, respondida en Estado y Red en Vivo, de modo que esta página de diseño no envejece cuando el prover avanza.

Los primitivos se componen en un orden estricto de dependencias: UIR → (UAC, XMP); DA → (VLC, PAI); (UAC, XMP, PAI, VLC) → SC.

Diagrama

Figura 6 — Grafo de dependencias de los siete primitivos.

Conclusión: congela un núcleo pequeño y correcto y miles de personas podrán construir encima cosas radicalmente distintas que aun así interoperan. Internet lo hizo con TCP/IP; XChain lo hace para los datos verificables. Con el núcleo fijado, la pregunta justa es dónde se sitúa este diseño entre los sistemas de los que toma prestado, algo que se pregunta y se responde a continuación, sobre ejes definidos antes de cualquier clasificación.