chore(ci): remove remaining dead-app refs (badges, shell uploads, docs)

[hyperpolymath]

Follow-up to the merged Codecov sweep PR: coverage uploads performed via shell blocks (curl uploader.codecov.io, ./codecov), README badges and doc claims are not YAML steps, so the automated step rule could not reach them. No CI behaviour change beyond dropping references to a service that is not installed.

[hyperpolymath]

Second pass added: coverage uploads done via a shell block (curl uploader.codecov.io / ./codecov) and badge/doc references, which a YAML-step rule cannot see. Verified by re-grepping the pushed branch for uses: codecov, CODECOV_TOKEN, uploader.codecov.io, codecov.io/gh/ and img.shields.io/codecov.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 8f1be799-c702-4199-87e0-484ad6ad558b

📥 Commits

Reviewing files that changed from the base of the PR and between 1aab44e and 5d36337.

📒 Files selected for processing (1)

• README.adoc

💤 Files with no reviewable changes (1)

• README.adoc

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details

⏰ Context from checks skipped due to timeout. (28)

• GitHub Check: governance / Debt ratchet
• GitHub Check: governance / Guix packaging policy (Nix retired)
• GitHub Check: governance / Trusted-base reduction policy
• GitHub Check: governance / Licence consistency
• GitHub Check: governance / Security policy checks
• GitHub Check: governance / Exemption ratchet
• GitHub Check: governance / Workflow security linter
• GitHub Check: governance / Language / package anti-pattern policy
• GitHub Check: governance / Well-Known (RFC 9116 + RSR)
• GitHub Check: governance / Code quality + docs
• GitHub Check: governance / Live Actions policy (credentialed advisory)
• GitHub Check: scan / gitleaks
• GitHub Check: governance / Check Workflow Staleness
• GitHub Check: scan / shell-secrets
• GitHub Check: governance / Allowlist Preflight
• GitHub Check: scan / rust-secrets
• GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
• GitHub Check: Groove manifest check
• GitHub Check: Validate K9 contracts
• GitHub Check: Empty-linter (invisible characters)
• GitHub Check: Validate A2ML manifests
• GitHub Check: analyze (actions, none)
• GitHub Check: Julia Tests (1.12)
• GitHub Check: Rust Tests
• GitHub Check: Julia Tests (nightly)
• GitHub Check: Code Quality
• GitHub Check: analyze (rust, none)
• GitHub Check: Security Scanning

---

📝 Summary

Summary by CodeRabbit

• Documentation
  • Removed the Codecov coverage badge from the README.

Walkthrough

The README intro no longer contains the Codecov coverage badge link. No exported or public declarations changed.

Changes

README documentation

Layer / File(s)	Summary
Remove Codecov badge README.adoc	Removes the Codecov coverage badge line from the intro section.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~2 minutes

Change: Other

Suggested reviewers: metadatastician

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Title check	✅ Passed	The title clearly describes the removal of remaining Codecov references, including badges, shell uploads, and documentation.
Description check	✅ Passed	The description directly explains the removal of Codecov uploads, badges, and documentation references, and states the effect on CI behaviour.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

---

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

_{A rabbit checks the README page
The Codecov badge leaves the stage
One line removed
The layout improved
Clean text hops from its cage}

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

[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