From 167eccb4cccde3dd12fda49d6f1720bd2020a900 Mon Sep 17 00:00:00 2001 From: rcmerci Date: Sat, 7 Nov 2026 21:49:56 +0800 Subject: [PATCH] docs: disambiguate coordinator shutdown-state link --- app/spec/worker_coordination/worker_pure_coordinator.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/spec/worker_coordination/worker_pure_coordinator.mli b/app/spec/worker_coordination/worker_pure_coordinator.mli index d645a61..e659aa0 100644 --- a/app/spec/worker_coordination/worker_pure_coordinator.mli +++ b/app/spec/worker_coordination/worker_pure_coordinator.mli @@ -5,7 +5,7 @@ persistence. Each returns a private {!transition}: install [next] before interpreting [instructions] in order. The runner queues later typed events. Queue admission, durable outcomes and presentation confirmation are separate; - cancellation does not prove rollback. {!shutdown_state} reaches [Stopped] + cancellation does not prove rollback. {!val-shutdown_state} reaches [Stopped] only after real cleanup acknowledgements, not merely [Shutdown_requested]. The indexed event/instruction families depend on the capabilities below.