1.3.0, plus a URL for the demo and the badges a visitor reads first

CHANGELOG.md

@@ -2,7 +2,17 @@
 
 Notable changes, newest first. Dates are ISO 8601.
 
-## Unreleased
+## 1.3.0 — 2026-08-18
+
+A minor rather than a patch on two counts: `Meter.readable` and `theory.KEY_RE`
+are new public names, and unreadable header values now produce diagnostics that
+were not there before — which changes what `check` reports for anyone counting
+warnings in CI. No notation changes: 6,321 files compile to exactly the music
+they did in 1.0.0.
+
+Also the release workflow passes `skip-existing`, so a run whose artifacts are
+already on PyPI completes instead of dying on duplicates. That is what has been
+blocking the GitHub Release notes for 1.0.1, 1.1.0 and 1.2.0.
 
 ### Header typos were swallowed in silence
 

README.md

@@ -473,7 +473,7 @@ in the documentation that stopped compiling would fail the build.
 
 ## Status
 
-Version 1.2. The notation, the CLI surface and the provider catalogue format are
+Version 1.3. The notation, the CLI surface and the provider catalogue format are
 stable; changes to them will go through a deprecation cycle.
 
 This release is a rebuild rather than an increment. The previous engine assumed a

plainsong/version.py

@@ -1,6 +1,6 @@
 """Single source of truth for the version number."""
 
-__version__ = "1.2.0"
+__version__ = "1.3.0"
 
 # Notation dialect versions this build understands.
 SUPPORTED_DIALECTS = ("absolute", "relative")

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "plainsong"
-version = "1.2.0"
+version = "1.3.0"
 description = "Plain-text music notation that compiles to MIDI and audio, with an embedded agent."
 readme = "README.md"
 requires-python = ">=3.10"