COVERAGE_EXTENSION

On-disk extension marking a saved coverage estimate, so LayerType.COVERAGE survives a restart.