Sovereign Kernel

Problem

Explicit compute paths with accompanying formal-method and attestation materials.

Approach

Fortran 2018 and MLIR-oriented kernel work targeting ARM64 SVE2, x86 AVX-512, and PTX.

Verification and limits

Claims in repository documentation have not been independently recompiled or benchmarked as part of this website update.

This project summary reviews public documentation. It does not substitute for the project's build, tests, proof audit, or independent evaluation.

License

Sovereign Source v3. The actual project terms govern use.