The corruption explained there matched the pattern seen in representative cases supplied by the core team.
The core team may not have yet awarded the bounty, and there were a few other possibly contributing factors regarding proper use of LevelDB on OSX before the above work... but there's certainly a strong case made that a real fix has been discovered and deployed.
Comments
This seems like a reasonably strong claim - and has the post title, "Claiming Bitcoin's Bug Bounty":
http://hackingdistributed.com/2013/11/27/bitcoin-leveldb/
The corruption explained there matched the pattern seen in representative cases supplied by the core team.
The core team may not have yet awarded the bounty, and there were a few other possibly contributing factors regarding proper use of LevelDB on OSX before the above work... but there's certainly a strong case made that a real fix has been discovered and deployed.