| /-! | |
| # 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 | |
| import ArrayLang.APLKernel | |