UPDATE-STATE log (what enters the internal state each step)
The agent sweeps left-right using its believed position. When its belief says
all squares are clean, it returns NoOp. Switch on "moves sometimes fail" and
watch the belief diverge from the truth: the agent may declare victory over a
dirty world (state drift).