Suppose I have a program compiled that's linked against libc.so.6 on one system (e.g., Ubuntu x64). If I take this binary to another system that has the same libc version 6 (e.g., Fedora x64), it seems to run fine.
My question is, is it more-or-less a contract that the ABI is stable as long as the so versions are identical?