| # PAX-Coder v1.0.0 Release Notes | |
| Release date: 2026-08-18 | |
| Repository: `SNAPKITTYWEST/pax-coder` | |
| ## Summary | |
| PAX-Coder v1.0.0 is the institutional foundation release for the | |
| proof-carrying GPU kernel generation program. It packages the repository as a | |
| governed system: proof modules, CUDA/PTX source, Futhark specifications, | |
| training-data export, model fine-tuning, demos, licensing, node-key policy, and | |
| release evidence rules. | |
| ## Included Surfaces | |
| - `PAX/`: Lean 4 proof-module surfaces and training schema. | |
| - `src/`: RTX/Ampere CUDA kernel sources and Futhark specification. | |
| - `export_training_data.py`: repository-to-JSONL training-data exporter. | |
| - `train.py`: RTX 3080 oriented QLoRA/Unsloth fine-tuning script. | |
| - `demo/`: static and scripted demonstration package. | |
| - `docs/`: user, architecture, go-to-market, and visual documentation. | |
| - `backends/license_policy.pl`: Prolog license-policy reasoner. | |
| - `LICENSE.tri`: BSL-1.1 / AGPL-3.0 / MPL-2.0 / commercial structure. | |
| - `SOVEREIGN_NODE_KEY.md`: node-key and seal policy. | |
| ## Packaging Validation | |
| `python export_training_data.py` completed successfully on Windows after the | |
| v1.0.0 console-output fix. | |
| Observed package split: | |
| ```text | |
| Total unique examples: 10 | |
| train: 9 examples | |
| val: 0 examples | |
| test: 1 examples | |
| ``` | |
| ## Institutional Guarantees | |
| - PAX proof obligations are described relative to the declared PAX axiom basis. | |
| - Release claims must be traceable to files, commands, outputs, hardware or | |
| toolchain context, and license path. | |
| - Generated kernels are candidates until proof, compiler, runtime, and license | |
| gates are satisfied for the exact artifact. | |
| ## Verification Commands | |
| ```bash | |
| cd PAX | |
| lake build | |
| ``` | |
| ```bash | |
| python export_training_data.py | |
| ``` | |
| ```bash | |
| nvcc -arch=sm_86 -ptx src/rtx_gemm_ptx.cu -o build/pax_gemm.ptx | |
| ``` | |
| Run the commands that apply to the artifact being released and record the exact | |
| output. If a command is not available in the local environment, mark that gate | |
| as toolchain-gated rather than inferred. | |
| ## License | |
| This release follows `LICENSE.tri`: | |
| - BSL-1.1 source-available path with commercial restrictions until `2028-08-08`. | |
| - AGPL-3.0 network-copyleft path. | |
| - MPL-2.0 file-level copyleft path. | |
| - Commercial terms for copyleft bypass and negotiated production use. | |
| ## Release Decision | |
| Status: v1.0.0 institutional package. | |
| Production deployment of generated kernels remains artifact-specific and must | |
| pass the verification and licensing gates documented in `README.md`. | |