Hi Ozone dev community, With the help of Specula (an agentic debugging tool powered by TLA+), Siyao identified hundreds of correctness bugs in Apache Ozone.
Each bug now has a dedicated Jira issue. Claude Code verified and reproduced the bugs, attaching a patch file to each issue. We now need human contributors to review these patches and convert them into pull requests. If you would like to help, please start with the critical bugs listed below: - 32 Critical bugs: https://issues.apache.org/jira/issues/?filter=-1&jql=project%20%3D%20HDDS%20and%20text%20~%20%22Generated%20with%20Specula%22%20and%20status%20not%20in%20(Closed%2C%20Resolved)%20and%20priority%20%3D%20Critical - 173 Major bugs: https://issues.apache.org/jira/issues/?filter=-1&jql=project%20%3D%20HDDS%20and%20text%20~%20%22Generated%20with%20Specula%22%20and%20status%20not%20in%20(Closed%2C%20Resolved)%20and%20priority%20%3D%20Major - 116 Minor bugs: https://issues.apache.org/jira/issues/?filter=-1&jql=project%20%3D%20HDDS%20and%20text%20~%20%22Generated%20with%20Specula%22%20and%20status%20not%20in%20(Closed%2C%20Resolved)%20and%20priority%20%3D%20Minor Your contribution is greatly appreciated. Thanks, Wei-Chiu
