Function registration_path 

pub fn registration_path(root: &Path) -> PathBuf

The registration belonging to socket_path’s socket, <runtime_dir>/<workspace_digest>.json.

Pure: write_registration and socket_path create the directory, so a reader can name the file without claiming the machine has a runtime.