2 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	4567fa666c	Review of 083: finishing an enrolment whose token was spent takes proof of the key's private half, a live lease and a first delivery — a public key alone cannot replay a spent token; shutdown leaves held messages for the broker; identical builds supersede; what is held leaves room in the prefetch	2026-09-22 14:33:13 +02:00
jschoubben	1a41b88ed3	Nothing the control queue carries is lost while the store restarts: an enrolment claims its token and spends it last, and is asked to try again; build results, upgrades and catch-ups are handed back, bounded (novox/hq issue 083)	2026-09-22 14:06:28 +02:00