When is

checkpoint

used as the top level key in a statefile (https://github.com/pulumi/pulumi/blob/master/pkg/resource/stack/checkpoint.go) as opposed to a

deployment

key (https://github.com/pulumi/pulumi/blob/master/pkg/resource/stack/deployment.go), and what is the difference?