Status: IN
`max_sum` does not validate that `k <= numOnes + numZeros + numNegOnes`; violating this precondition produces a mathematically valid but semantically meaningless result where the implied -1 count exceeds `numNegOnes`.
Source: entries/2026/06/06/k-items-with-the-maximum-sum-solution.md