releaselisted

# Release Skill Cut a new prospec release from `main`: bump the version strings, create the tag, and publish GitHub release notes in the house format. Publishing the release (`published` event) triggers `.github/workflows/release.yml`, which compiles the multi-platform standalone binaries and attaches them as compressed assets — so this skill's job is the version bump + notes, not the build. ## Language The release notes, commit message, and everything this skill writes are in **English** — a release is trust-zone / public-facing technical output, exempt from the Traditional Chinese change-artifact rule (see `prospec/CONSTITUTION.md` → Language Policy, mirrored in `AGENTS.md`). Talk to the user in their language; write the artifacts in English. ## Preconditions — do not release until all hold 1. **All PRs for this version are merged to `main`** and `main` is checked out with a clean tree (`git status`). A release is cut from `main`, never a feature branch. 2. **Each change is archived** (`/prospec-archive`) — REQs graduated, Knowledge synced, summary written. The release notes' Dogfood section reports this; it must already be true. 3. **Counts are already synced.** `pnpm counts` runs as the last step of each *feature* commit, not here — READMEs / `index.md` / module READMEs already carry the right test/skill counts. Do not run `pnpm counts` during the bump. (See memory: counts are generated by `sync-counts.ts`.) 4. **Green locally**: `pnpm test`, `pnpm typech