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

..

00-report.md

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

01-diagnosis.md

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