version bump 8.3.1

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

CLAUDE.md

@@ -36,17 +36,16 @@ hardcode these paths: do not move or rename the folders.
 - `dist/` — packaging assets, Inno Setup scripts, build outputs.
 - `build-release.bat` — master release build.
 
-## Current work: release 8.3.0, on `main`
+## Current work: release 8.3.1, on `main`
 
-The .NET 10 port (case 4690) is merged into `main` in `raven`, `raven-client`,
-`raven-launcher` and `raven-test-integration` (2026-10-23), not yet tagged or released.
-Before release: the "next release" cases, each with its own case number and its own
-commits on `main` (`case NNNN - …`); then the final build, the final gate, Cypress on the
-`devtestn10` droplet, the `8.3.0` tag and the rollout.
+8.3.0 (the .NET 10 port, case 4690) was released 2026-10-29, tagged `8.3.0` in `raven`,
+`raven-client` and `raven-launcher`. 8.3.1 is a patch release of fixes; new features are planned
+for a later 8.4.0. Each case has its own commits on `main` (`case NNNN - …`) and, if customers
+would notice it, a line under "AyaNova 8.3.1" in the changelog. Release steps:
+`devdocs/build/RELEASE-PROCEDURE.md`.
 
-**Read `devdocs/modernization/NET10-PORT.md` first.** It holds the release checklist
-(section 5), the Deferred list (including the cases chosen for this release) and the log.
-Update its checklist and log in the same commit as the change they record.
+`devdocs/modernization/NET10-PORT.md` is the record of 8.3.0. Its Deferred list holds candidate
+cases for later releases: when one is done, mark it there with its case number in the same commit.
 
 Sockeye went through the same port first: `git -C ..\sockeye log --oneline net6-baseline..8.1.0`.