{"id":"binary-string-segment-depends-on-no-leading-zeros","text":"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.","truth_value":"IN","source":"entries/2026/06/06/check-if-binary-string-has-at-most-one-segment-of-ones-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"binary-string-segment-depends-on-no-leading-zeros","truth_value":"IN","reason":"premise"}]}}