Release v0.5.0

[Polarnova]

Summary

• formalize all 57 reviewed Carlet Chapter 6 bent-function nodes with 361 proved Lean declarations and 163 reviewed dependency edges
• add the Chapter 2, Chapter 4, and Chapter 5 prerequisites reused by the Chapter 6 proofs, including McEliece--Ax divisibility and the Kerdock field construction
• publish the synchronized Blueprint, inventories, dependency/fidelity audits, and version metadata for v0.5.0

The reviewed Blueprint surface is 209 statements: 206 formalized and 3 visibly open analytic Chapter 5 character-sum results.

Validation

• lake build CryptBoolean.Carlet.Chapter06 — 8864 jobs
• lake build CryptBooleanBlueprint.Carlet.Chapter06 — 9235 jobs
• ./.github/scripts/forbidden_tokens.sh
• python3 ./blueprint-verso/scripts/check_statement_style.py
• git diff --check

Release

After the complete pull-request and main-branch CI passes, tag the merged commit as v0.5.0. The release workflow will build, audit, publish, and consume-test the immutable Linux and macOS archives.