chore(registry): remove retired tier-D packages + broken Hyperpolymath entry (#47)

Owner deleted the GitHub repos for ProvenCrypto, MinixSDK, Lithoglyph
and retired MacroPower per the 2026-07-02 portfolio triage; their
registry entries pointed at 404 repos, breaking any registry consumer.

Hyperpolymath 0.1.0 is removed with them: its registered Deps include
three of the deleted packages, and its `JuliaKids` dep-name mismatch
(registered as `JuliaForChildren`) already made it uninstallable. A
fixed 0.1.1 will be re-registered once the meta-package drops the
retired deps.

- `ci/validate.jl`: 0 errors, 0 warnings
- No dangling UUID references across remaining buckets (verified by
grep)
- 32 packages remain registered

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

Author: hyperpolymath