Close Chapter 4: Boolean functions and cryptography

[Polarnova]

Summary

• close all Chapter 4 source-facing theorem nodes
• replace native finite decision proofs with kernel-checked structural enumeration
• consolidate the weight-sixteen classification into an elegant single-file completion argument
• retain the generated candidate table with reproducible digest checks
• document the mathematical proof spine and references in the Blueprint

Verification

• forbidden-token audit passed locally
• Blueprint statement-style audit passed: 116 statements, 115 formalized, 1 open globally
• normalized candidate regeneration passed: 2969 candidates, 278 prefixes, expected logical SHA256
• full Lean, axiom, and Blueprint builds run in GitHub Actions