Select one bounded task for an agent loop from visible state, real repo evidence, permission boundaries, and a named proof command.
