String getBatchStateFilePath(String batchId) { return p.join(batchStateDir, 'batch_state_$batchId.json'); }