Status: IN
When the first mismatch is at or beyond index `n-1`, `badSensor` returns `-1` because both shift hypotheses are vacuously satisfiable on the empty/trivial suffix.
Source: entries/2026/06/06/faulty-sensor-solution.md
JSON