3 Commits

Include renames

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