Issue 083 resolved: nothing the control queue carries is lost while the store restarts #73

Merged

jschoubben merged 3 commits from multiple-fixes into main 2026-09-22 12:43:00 +00:00

Conversation 0 Commits 3 Files Changed 2

+82 -2

3 Commits

Author	SHA1	Message	Date
jschoubben	4de74880cb	Issue 083: the proof, the replay caveat, and what is not closed, as three reviews found them	2026-09-22 14:39:29 +02:00
jschoubben	266ee34b5c	Issue 083: the diagnosis describes held messages, the enrolment's order, and what is not closed	2026-09-22 14:24:31 +02:00
jschoubben	2d45aa5f42	Issue 083 resolved: nothing the control queue carries is lost while the store restarts; an enrolment claims its token and spends it last	2026-09-22 14:11:44 +02:00