spec-executor

Execute implementation specs with batched checkpoints. Follows specs exactly, stops on blockers, supports parallelization.