docs(meta): declare the repository description and topic set (#12)

[arena-ai-coding-agent]

Closes #12.

GitHub's About box is the only text it indexes that lives outside the tree, and this repository had no description and no domain topics — while being one of only ~5 of the estate's ~343 repositories missing the open-source convention tag, which is the largest topic page this project belongs on.

The description (331 chars, limit 350)

Educational robotics platform: an intentionally over-engineered hot chocolate dispenser, in Rust for Raspberry Pi, that teaches reverse engineering, systems thinking and safety-critical design to students aged 12–18 — with a mock-hardware HAL, a Certified Null Operations (CNO) safety state machine, and a full workshop curriculum.

Built from six claims, each backed by something in the tree. It deliberately does not say "formally verified": src/safety/mod.rs holds a complete smlang model, but the shipped demo flow drives safety through explicit checks — the claim would be drift of the kind the estate's Affirmation / claim-drift issue template exists to catch.

The topics (20/20)

Group	Topics
Estate spine (6)	epistemic-computing epistemic-infrastructure equivalence-aware-computing hyperpolymath typed-provenance veridical-computing
Estate convention (1)	open-source — the gap
Project (6)	robotics education teaching reverse-engineering stem-education mechatronics
Platform (4)	rust raspberry-pi embedded state-machine
Method (3)	safety-critical formal-verification certified-null-operations

Spelling is chosen to share topic pages with siblings: certified-null-operations with absolute-zero, safety-critical with lustreiser, teaching with JuliaKids.jl. Per-topic justification, plus the runners-up that lost their slots and why, is in docs/REPO_METADATA.adoc.

Why this is reviewable at all

just repo-metadata-audit REPO=<name> / repo-metadata-apply REPO=<name> work against any hyperpolymath/* repository, which is what makes this a fix for the estate's findability rather than one repo's. The estate rules that make siblings mutually findable are written down at the end of docs/REPO_METADATA.adoc so they can be applied elsewhere.

Notes for the reviewer

• .github/repository-topics.json follows the filename and schema gitbot-fleet already uses for this ("Discovery metadata for GitHub repository topics"), so anything that learns to read one reads all of them. The GitHub description is carried in description_text because that schema already spends the description key on explaining the file.
• No scheduled audit workflow. .github/workflows/actions.lock is keyed by workflow path, so a workflow added here would be rejected before its first step — startup_failure, and therefore no check run at all. Deliberately omitted rather than shipped broken.
• No Python. The estate gate runs git ls-files '*.py' and fails the PR estate-wide, so the checker is bash + jq.
• Applying to GitHub itself needs admin on the repository; this branch cannot do that. just repo-metadata-apply performs a full PATCH of the topics array, so it cannot leave stale tags behind the way repeated --add-topic would.

Two follow-ups found but deliberately not fixed here

• GitHub reports this repo's licence as NOASSERTION (REUSE layout: LICENSE + LICENSES/), which suppresses the licence badge and puts it outside license: search filters. Picking what GitHub should report is a legal call, not a metadata fix.
• docs/CITATIONS.adoc references ../CITATION.cff and ../codemeta.json, which do not exist here. robot-vacuum-cleaner ships both; adding them would make the project citable.

[coderabbitai]

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 9c0f5c16-8a3a-454f-99f8-6a6c5d6d63b9

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

---

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.}