zero-init-assumes-nonneg-input

Status: IN

`max_product` initializes `max1 = max2 = 0`, which is only correct because the problem guarantees all elements are >= 1; negative inputs would never beat the initial zero and the tracker would silently return a wrong result.

Source: entries/2026/06/06/maximum-product-of-two-elements-in-an-array-solution.md

JSON