docs(todo): link OpenJML/OpenJML#1012

[bernardladenthin]

Summary

• TODO.md now links RAC: 9 bundled specs don't compile under --rac, inner-class invariants, and related findings (from streambuffer) OpenJML/OpenJML#1012, the umbrella issue with all findings. It covers the ArrayDeque/Collections RAC spec errors (part of a sweep that found 9 bundled specs failing --rac), the missing JAVA_VERSION key in the bundled jdk/release, and the inner-class invariant NoSuchFieldError.
• Docs only, no code or workflow change.

Test plan

• Affected unit / integration tests pass locally (n/a: docs only)
• CI is green on this branch
• Docs / CHANGELOG updated where applicable (n/a: TODO only)

Related issues / PRs

Refs OpenJML/OpenJML#1012, OpenJML/OpenJML#806, OpenJML/Specs#28. Follow-up to #169.

Checklist

• I have read CONTRIBUTING.md and CODE_OF_CONDUCT.md
• My commits follow Conventional Commits
• No security-sensitive changes (if there are, I have notified the maintainer privately per SECURITY.md)

🤖 Generated with Claude Code

https://claude.ai/code/session_018mLGtytvtJU7aNshBpnrB5

[claude]

✅ Review approved — documentation only

This PR updates TODO.md to consolidate references and link to the umbrella OpenJML/OpenJML#1012 issue that covers:

• ArrayDeque/Collections RAC spec errors (9 bundled specs failing --rac)
• Missing JAVA_VERSION key in bundled jdk/release
• Inner-class invariant NoSuchFieldError bug

Assessment:

• ✅ Documentation is accurate and well-organized
• ✅ Links are properly formatted and current (RAC: 9 bundled specs don't compile under --rac, inner-class invariants, and related findings (from streambuffer) OpenJML/OpenJML#1012 dated 2026-10-07)
• ✅ Changes maintain file structure and consistency
• ✅ No security or code quality concerns (docs-only change)

Ready to merge.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud