Verifiable Harbor tasks for training and evaluating small agents (shell, file editing, software engineering). Ready for RL with palingenesis.