Function session_path_for_bin 

pub fn session_path_for_bin(bin_path: &Path) -> PathBuf

Companion path for guest-primary metadata next to a legacy .bin snapshot path.

Example: .dev_shell.bin → .dev_shell.session.json (replaces the last extension).