Draft releases cleanup and versioning strategy

[abienkowski]

Problem

The release workflow auto-creates a draft release with an auto-bumped patch version on every push to main. This has produced 6 draft releases (v0.2.1–v0.2.6), none published, with auto-generated notes and no curated content.

Solution

1. Decide the versioning strategy for the first release (e.g., adopt semver; publish as v0.2.6 or bump to v1.0.0)
2. Delete or archive the stale draft releases (v0.2.1–v0.2.5)
3. Curate release notes for the chosen version (feature highlights, breaking changes, links to docs)
4. Optionally suppress auto-draft creation for trivial commits (e.g., only create release on PR merge, or add manual trigger) to reduce noise

Which implementation(s) would this affect?

• All

Additional context

• Workflow: .github/workflows/release.yml — bump job reads latest v* tag, creates tag + draft release via gh release create --draft --generate-notes
• Tracked by epic First release prep: Quint spec review, test parity, and release pipeline validation #4