{"id":"remove-dupes-assumes-nonempty","text":"`removeDuplicates` starts `k=1` with no empty-list guard, so an empty input returns 1 instead of 0 — a latent bug masked by LeetCode's `1 <= nums.length` constraint.","truth_value":"OUT","source":"entries/2026/06/06/remove-duplicates-from-sorted-array-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["convergence-implies-individual-correctness"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T15:30:28+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T15:30:28+00:00","explanation":{"steps":[{"node":"remove-dupes-assumes-nonempty","truth_value":"OUT","reason":"retracted premise"}]}}