Version 2 adds the checkpoint's temporary path and its directory: the
host writes the checkpoint to the temporary, then renames it over the
output path and syncs the directory (Checkpoint.Envelope's publication).
The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.