badger play: progress checkpoint