{"id":"distinct-numbers-steady-state-cascade","text":"For `n >= 2`, the board stabilizes to `{2, 3, ..., n}` because each `x % (x-1) == 1` adds the next smaller number, halting at 2 since `2 % 1 == 0`.","truth_value":"IN","source":"entries/2026/06/06/count-distinct-numbers-on-board-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"distinct-numbers-steady-state-cascade","truth_value":"IN","reason":"premise"}]}}