DAG runtime for coding-agent workflows with verification, resume, replay, and effect che…