Close Carlet Chapter 4 cryptographic criteria

[Polarnova]

What

• closes Carlet Chapter 3 Proposition 12 and the full 73-node Chapter 4 source surface
• proves Rodier sharp random-nonlinearity interval, the exact dimension-seven maximum, and the sharp fixed-order higher-order upper bound
• records the higher-order proof as a mathematical DAG: moment ratios, dual-code weights, low-weight estimates, the weight-sixteen rank-seven classification, character bounds, and Plotkin propagation
• consolidates the 278 classifier and compact-soundness cases into single table-driven Lean files
• adds the Blueprint references page and synchronizes inventories, fidelity notes, and manifest counts

Why

This makes Chapter 4 source-complete without weakening cited statements or hiding the large finite classification behind placeholder declarations. The single-file generated certificates preserve independent kernel-checked theorems while removing the former bucket-file structure.

Impact

The reviewed Blueprint surface becomes 116 statements, 115 formalized, one open, 759 associated declarations, and 223 mathematical edges. Chapter 4 is 73 of 73; the only remaining open source item is Chapter 2 Proposition 3.

Checks

• forbidden-token audit: pass
• Blueprint statement-style audit: pass (116 / 115 / 1)
• inventory YAML parse and staged diff checks: pass
• normalized classifier, support normalization, orbit bounds, and the conditional rank-seven chain were built during development
• the final 278-certificate single file and full root, axiom, and publication builds are intentionally delegated to this PR CI and are the acceptance gate

[Polarnova]

Superseded by #4 on the branch walsh-waltz; the proof state is unchanged, with the final no-native-decision refactor included.