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
No one claimed the 10BTC bug bounty for the OSX client, so its all a matter of hoping things are fixed
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.
It's been claimed (see the other replies). Just waiting on confirmation that this fixes the problem entirely before paying out, I believe.
http://hackingdistributed.com/2013/11/27/bitcoin-leveldb/