CHANGELOG.md

# Changelog

All notable repository-level release changes are tracked here.

## v1.0.0 - 2026-08-18

Institutional foundation release for PAX-Coder.

### Added

- Institutional root README for the PAX proof-carrying GPU kernel program.
- Institutional architecture SVG at `docs/assets/pax-coder-institutional-architecture.svg`.
- Version marker in `VERSION`.
- Release notes in `RELEASE_NOTES.md`.
- Package manifest in `PACKAGE.md`.

### Fixed

- Windows console packaging issue in `export_training_data.py` by replacing a
  Unicode progress arrow with ASCII output.

### Release Scope

- Lean 4 proof-module surfaces under `PAX/`.
- CUDA/PTX kernel source surfaces under `src/`.
- Futhark functional specification under `src/pax_kernel.fut`.
- Training-data exporter and QLoRA training script.
- Demo package and user/institutional documentation.
- Tri-license policy and node-key documentation.

### Evidence Boundary

- PAX proof obligations are stated relative to the declared PAX axiom basis.
- Generated outputs are candidate artifacts until checked through the release pipeline.
- Runtime production claims require compiler, target hardware, and reference-comparison evidence.
- License and node-key requirements remain part of production release governance.

### Packaging Evidence

- `python export_training_data.py` completed on Windows.
- Current source inventory produced 10 unique examples: 9 train, 0 validation,
  and 1 test.