You can add a piece of belt that reports its contents and have the thing converge even if someone surreptitiously adds/removes stuff from the belt. (Add something that's morally equivalent to `science_x_mem <= (1-eps)*science_x_mem + eps*belt_length/sensor_belt_length*belt_sensor_report)`.)