- Preface
- A Year Before AXON
- Europe and a New Lens
- The Foundational Mistake
- The Data Problem and the Language Question
- What AXON Is
- How to Read This Book
- The Five Developers AXON Was Built For
- Your Current Skills Become Foundation
- Why Learn AXON Now
- Part I — The Problem
- The Verification Gap
- What the Gap Costs
- The seL4 Microkernel
- GDPR and the EU AI Act
- What Was Left Out and Why
- Part II — The Language
- Indentation Injection
- Case Study 1: AXON vs Rust on CPU
- Case Study 2: AXON on NVIDIA T4 GPU
- The Two Benchmarks Together
- The Three-Layer Pipeline
- The Three-Valued Result
- Example 1 — The Violation Case
- Example 2 — The Verified Case
- Example 3 — The Unknown Case
- Writing Effective @ensures Annotations
- Part III — The Ecosystem
- EdisonDB — Sovereign Database
- AIEONYX OS, BASTION OS, Mesh Network, Aegis Collective
- What Exists Today vs What Is Coming
- The Core Ends at Phase 7
- Part IV — The Road Ahead
- AXON Profiles — Two Names, Two Contexts
- The Initial Profiles
- The Version Roadmap
- The Self-Hosting Milestone
- How to Help
- A Letter to Future Contributors
- Appendices
- Appendix A: Grammar Reference
- Appendix B: Command Reference
- Appendix C: Constraint DSL Reference
- Appendix D: Benchmark Data
- Appendix E: AXON Profiles Reference
- Bibliography
- About the Author
Sovereign Code
Building the First AI-Native Verified Systems Compiler
This book is 100% completeLast updated on 2026-05-22
The first AI-native systems compiler that formally verifies your declared intent before producing a binary. You write what your function should do. AXON proves it — or refuses to build.
Minimum price
$19.90
$29.90
You pay
Author earns
PDF
About
About the Book
Most programming books teach syntax. This one proves it.
Sovereign Code documents the creation of AXON — the first AI-native systems compiler that formally verifies your declared intent before producing a binary. You write what your function is supposed to do in plain English. A local AI model translates it to formal constraints. The compiler checks them on every code path. If your implementation contradicts your intent, the compiler refuses to build.
Inside: a complete compiler pipeline in Rust — lexer, parser, LLVM 18 native backend, seL4 bare-metal target, and a GPU compilation path that achieved 3.68–4.18 billion verified operations per second on NVIDIA T4 hardware.
For Rust developers who want more than type safety. For security engineers exhausted by security as a layer. For compliance architects preparing for the EU AI Act. For solo builders who believe one person with the right tools can build infrastructure that matters.
Stop retrofitting security. Start compiling it.
Author
About the Author
Edison Lepiten
Edison Lepiten is the founder of AIEONYX, an initiative dedicated to sovereign systems and the development of infrastructure for a post-surveillance computing era. Originally from the Philippines and currently based in the Czech Republic, he operates as a solo founder, designing, specifying, and delivering solutions across the entire technology stack. This includes work on compilers, databases, operating systems, and mesh networks.
AXON is his first published programming language, developed from the conviction that security and correctness should be properties a compiler enforces, not practices that rely on team memory. Sovereign Code represents the initial documentation of that conviction in working code.
Other active projects include EdisonDB, a sovereign, AI-native database engine governed by the S4 framework, and BASTION OS, a Rust and seL4-based node operating system targeting ARM64. All projects are open source and developed transparently at github.com/aieonyx.
He believes one person with the right tools can build an infrastructure of significant impact. This book serves as a proof of concept.
Contents
Table of Contents
Get the free Community Edition
You can get the free Community Edition in PDF or EPUB just by sharing your name and email address with the author, or you can just click this link to read a shorter sample online...
The Leanpub 60 Day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.
You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!
So, there's no reason not to click the Add to Cart button, is there?
See full terms...
Earn $8 on a $10 Purchase, and $16 on a $20 Purchase
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earned over $15 million writing, publishing and selling on Leanpub.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
Write and Publish on Leanpub
You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!
Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.
Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.