Function platform_name_for_mask 

pub fn platform_name_for_mask(
    platforms: &[IgvmPlatformHeader],
    mask: u32,
) -> String

Map a compatibility mask to a lowercase platform name suitable for use in file names. Returns the platform’s canonical short name ("vbs", "snp", "tdx") when the mask matches a known platform header; otherwise platform_<Debug> for a matching header whose platform type has no canonical short name, or mask_0x<hex> if the mask matches no platform header at all.