Seems kind if weird that Bitcoin (actually bitcoind) itself would be dependent on a google-developed database solution that isn't open source, and not only that, has non-determinate behavior, depending on the host system..
I was assuming you were mistaken, but it's starting to look like you're just making things up. LevelDB has no dependencies other the Snappy compression codec, which is both optional and BSD-licensed.
The fine article does not describe indeterminate platform-specific behavior within LevelDB. I assume you are talking about Mac corruption fix which Robert Escriva put in. This problem was with the behavior of munmap on Darwin, and did not result in the leveldb database being in a usable platform-specific state.
