Generalize the fixed seven-node proof to m=2h+3, N=q², n=N/(2hm), with uniform finite interpolation and height estimates.
Method: native-induction. Induction: m and h. Risk: critical.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.