Status: IN
`count_pairs_leftovers` guarantees the invariant `pairs * 2 + leftovers == len(nums)` — every element is accounted for exactly once as either paired or left over.
Source: entries/2026/06/06/maximum-number-of-pairs-in-array-solution.md
JSON