Status: IN
The `"01" not in s` check for at-most-one-segment-of-ones is only correct because the problem guarantees no leading zeros; without that constraint, `"011"` (a valid single segment) would be incorrectly rejected.
Source: entries/2026/06/06/check-if-binary-string-has-at-most-one-segment-of-ones-solution.md