Artist Cognitive Superstrate — Release Validation
Date: 2026-08-02

Toolchains
- rustc 1.98.0-nightly (f28ac764c 2026-06-23)
- cargo 1.98.0-nightly (a595d0da2 2026-06-20)
- Lean 4.32.2 (f3b06c705e6c85f5314019d5d3baab0fec5b580c)

Release gates
- cargo fmt --check: passed
- cargo test --workspace --all-targets: 304 tests passed, 0 failed
- cargo clippy --workspace --all-targets -- -D warnings: passed
- source placeholder scan: passed
- lake build: passed
- Lean axiom audit: eight exported results report no axiom dependencies

Lean audited results
- weakening_preserves_typing
- dependent_substitution_preserves_typing
- beta_computation
- fst_pair_computation
- snd_pair_computation
- j_refl_computation
- append_only_delta_is_well_founded
- raw_node_count_positive

Assurance boundary
The Lean model is an axiom-free semantic reference model. It is not an exact
Rust-to-Lean refinement proof. See docs/ASSURANCE.md.
