storage-round-trip-preserves-dependents

Summary

When data is saved and reloaded, the record of which other claims depend on a given claim is preserved along with everything else. This is a specific case of the broader guarantee that nothing is lost during save/load cycles — the dependency relationships survive just like the claims themselves do.