Status: IN
Each element appears in the output of `intersect` exactly `min(count_in_nums1, count_in_nums2)` times, enforced by a `> 0` guard that prevents the counter from going negative.
Source: entries/2026/06/06/intersection-of-two-arrays-ii-solution.md