Release notes
Every tagged release carries one dated note — the phase-B checklist the
upgrade contract names, its bump chosen by that page’s
§Versioning criteria. The list below derives at render time from the notes
themselves: a note joins by carrying the release: front-matter key it
already carries for the upgrade tooling, so there is no second copy to
maintain and no index to regenerate. The GitHub Release for each tag points
at the same note.