I think a best-effort attempt at determining if two crates are ABI compatible as compiled by Rust is a useful feature, even outside of stabby.
It would be nice if we moved the business logic of canaries out into a separate crate, so that the community can iterate on it collectively and try to come with a set of canaries that are closer to safe.