/-!
# Sovereign Array Language — module aggregator

Importing every layer of the verified array kernel:
- `Array`        : dependent-function model `I → α`
- `Broadcast`    : pullback-along-projection semantics
- `Softmax`      : `Π`-map normalization
- `NandAttention`: universal-NAND circuit-extraction spec
-/

import ArrayLang.Array
import ArrayLang.Broadcast
import ArrayLang.Softmax
import ArrayLang.NandAttention
import ArrayLang.SimplexNorm
