Re-read a written sharded database from its (compressed) files and check it is internally consistent:
every shard's content hash recomputed from its re-read blobs matches both the manifest and the file
header; every shared dictionary's hash matches; the manifest routes every package a shard holds; a
sample of packages decodes (functions + dependencies) with all string indices in range; and any
requirePackages (e.g. base R) are present. This is a strong correctness gate: correctness over speed.
Re-read a written sharded database from its (compressed) files and check it is internally consistent: every shard's content hash recomputed from its re-read blobs matches both the manifest and the file header; every shared dictionary's hash matches; the manifest routes every package a shard holds; a sample of packages decodes (functions + dependencies) with all string indices in range; and any
requirePackages(e.g. base R) are present. This is a strong correctness gate: correctness over speed.