badger integration: progress checkpoint