AXL Research
Last updated: .
Research-stage AXL work lives in two repositories. Both are currently private. v3.1 remains the productized stable grammar; v4.0.1 is the qualified successor in research preview. The repositories will be made public after the productization gate completes (per the cc-ops-axlserver directive sections 14-16).
Repositories
| Repo | Visibility | Role |
|---|---|---|
| dcarranza-axl/axl-research Private | private | canonical, daily push target |
| axlprotocol/axl-research Private | private | org mirror, kept in sync with the canonical repo |
Following either link as an unauthenticated visitor returns a 404. The canonical repository receives daily commits during the productization gate; the org mirror is updated in lockstep so any post-gate publication can switch the public face from the canonical to the mirror without rewriting links.
Frozen state
v4.0.1 was frozen on 2026-04-25 at the following commit:
| Public release label | v4.0.1 |
| Internal version label | 4.0.2-draft |
| Source freeze tag | v4.0.2-r6-freeze |
| HEAD commit | 51e75de1f81fad1471a7173c6413c1bb920c559a |
| Tests at this commit | 217/217 passing in 2.66s (verified 2026-04-25) |
| Subject artifact (kernel) | spec/v4-kernel.md |
| Kernel sha256 | ad5b251283326d8f280a54a16604dc05cba3fa7cea8b0fc956b65955651b04c7 |
Documents on this site
The kernel and supporting v4 specs are served as raw text from this site so that anyone can read them without repository access:
For human-readable framing, gate evidence, and the qualified-successor verdict, see:
- v4 hub (landing page)
- v4 spec index
- v4 kernel deep-dive
- v4 kernel router deep-dive
- v4 code-layer deep-dive
- v3.1 to v4.0.1 migration guide
- v3.1 vs v4.0.1 side-by-side comparison
- v4 research status (with full AMENDMENT NOTICE)
- v4.0.1 freeze anchor (provenance)
Why these repos are still private
The cc-ops-axlserver directive (sections 14-16) defines the productization gate that v4 work must pass before public source release. The gate isolates v4 from v3.1 production traffic, requires test discipline at the freeze commit, and demands an artifact-driven decision record before flipping repository visibility. The 2026-04-16 cold-read decision gate (museum, financial, construction corpora across four non-Anthropic models) cleared the qualified-successor verdict; remaining gate items relate to API surface stability and externalized regression coverage.
v3.1 stays productized through this period. Public users running pip install axl-core get the v3.1 grammar by default. Nothing about the v4.0.1 freeze changes that.