From bc29023e4ccee87824b3c71538c72006fce3c447 Mon Sep 17 00:00:00 2001 From: Bernard Ladenthin Date: Mon, 26 Oct 2026 18:59:36 +0100 Subject: [PATCH] TODO: first snapshot on actions v1.1.0 Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01DuAkLtHrCTx81vP5Mt4jad --- TODO.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/TODO.md b/TODO.md index 4ed4977..dbf2486 100644 --- a/TODO.md +++ b/TODO.md @@ -11,6 +11,14 @@ annotated, so everything below is genuinely still open. ## Open +- **The first snapshot on bernardladenthin/actions v1.1.0.** No snapshot has been published since + the pin bumps: the push run on `main` + ([40311613851](https://github.com/bernardladenthin/streambuffer/actions/runs/40311613851), + `3133ac5d`) skipped every snapshot job. Dispatch Publish on `main` with `publish_to_central` + (the owner approves `maven-central`) and read `central-snapshot` and `github-snapshot`: does the + `snapshot` tag move to the commit (actions v1.0.3+ re-creates it on a 403), and does + `superseded()` pass without a 502 (java-llama.cpp's TODO has the background). + - **Formal verification — follow-ups.** The two-layer setup (OpenJML ESC proof of the static sequential core + OpenJML RAC under the full test suite) landed 2026-09 — see CLAUDE.md "Formal Verification" and `.github/workflows/formal-verification.yml`. Still open, in priority