Fix sparse Proof reads when collection directories are absent and preserve relation integrity for derives_from edges. Keep every public package on one version and reject fragmented publishes.