Open-source core
- Axint compiler source is public on GitHub under Apache 2.0.
- Public proof stays tied to the shipped release, test count, and diagnostics surface.
- Registry package metadata, validation history, and publish-policy review can be surfaced on package pages.