docs: drop CodeQL badge (disabled workflow) — slice #49

[buildrr89]

Summary

• Remove the `CodeQL` badge from the README banner.
• Root cause: `codeql.yml` is `disabled_manually` on this repo because we use GitHub's default CodeQL setup, which does not expose a workflow-file badge URL. The badge was rendering as "no status" instead of green.
• Security scanning itself is unchanged — default setup keeps running.

Banner now carries four badges (Proof, Wheel smoke, License, Python).

Test plan

• `uv run pytest -q` — 210 passing
• Confirm README renders cleanly on GitHub after merge

🤖 Generated with Claude Code

[coderabbitai]

Warning

Rate limit exceeded

@buildrr89 has exceeded the limit for the number of commits that can be reviewed per hour. Please wait 36 minutes and 4 seconds before requesting another review.

Your organization is not enrolled in usage-based pricing. Contact your admin to enable usage-based pricing to continue reviews beyond the rate limit, or try again in 36 minutes and 4 seconds.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

ℹ️ Review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 4e3fd438-1c60-45ed-aef7-4c21916ea208

📥 Commits

Reviewing files that changed from the base of the PR and between 2d838ca and 52a16f8.

📒 Files selected for processing (3)

• CHANGELOG.md
• README.md
• docs/NEXT_EXECUTION_BACKLOG.md

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch slice-49-drop-codeql-badge

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[github-actions]

RADE score diff

Compared 2d838ca2c1c0879585ee6e00d2d12bbcc610721d -> 52a16f86b0f07b61b497b5877ba549e97b0aa801.
Regression gate status: disabled.
Direction: higher reusability is better; lower accessibility_risk is better.

Metric	Base	Head	Delta
reusability	86	86	0
accessibility_risk	70	70	0

Generated by RADE GitHub Action.