Opaque function declaration. Codegen provides the actual stablehlo.convolution; proofs reason about it as a black box.

Reversed-kernel convolution formula, numerically gradient-checked.

Phase 7: the transpose-trick formula via Kernel4.flatten.

Phase 9: sum cotangent over spatial dims per channel.

Routes gradient to the argmax position within each pooling window.