Status: IN
`count_elements` checks strictly `x + 1 in s`; predecessor existence (`x - 1`) does not contribute to the count.
Source: entries/2026/06/06/counting-elements-solution.md
JSON