chore(deps): update dependency com.puppycrawl.tools:checkstyle to v13

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.puppycrawl.tools:checkstyle (source)	12.3.1 → 13.0.0

---

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.

---

Release Notes

checkstyle/checkstyle (com.puppycrawl.tools:checkstyle)

v13.0.0

Compare Source

Checkstyle 13.0.0 - https://checkstyle.org/releasenotes.html#Release_13.0.0

Breaking backward compatibility:

#​17430 - Use jdk21 as minimial required

Bug fixes:

#​18409 - Remove duplicate violations in WhitespaceAfter and WhitespaceAround in sun_checks.xml

Other Changes:

jdk21: activate MissingNullCaseInSwitch for checkstyle project
Resolve Pitest Suppressions - imports
Conversion to Enhance Switch for AnnotationUseStyle Check Causing Jacoco Coverage Issue
Convert eligible classes to records
pitest: increase mutation coverage for indentation profile to 100%
Resolve Pitest Suppressions - filters
Fix xdocs Examples AST Consistency Test (Reduce suppressions list)
EmptyLineSeparator ignores configured tokens: reports violations for unlisted tokens and skips listed ones
Enforce file size on Java inputs
Store SARIF schema locally to avoid external network dependency
Update `JavadocCommentsTokenTypes.java` to new format of AST print

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.39%. Comparing base (49597d2) to head (270347a).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #575   +/-   ##
=========================================
  Coverage     88.39%   88.39%           
  Complexity      915      915           
=========================================
  Files            52       52           
  Lines          3351     3351           
  Branches        414      414           
=========================================
  Hits           2962     2962           
  Misses          214      214           
  Partials        175      175           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.