diff --git a/docs/os-development/device-authority.md b/docs/os-development/device-authority.md
index 8a847f0..f6f7c55 100644
--- a/docs/os-development/device-authority.md
+++ b/docs/os-development/device-authority.md
@@ -166,8 +166,9 @@ for instance. Not now.
   device going away.
 - **The device table's size.** `maximum_devices` is untouched by this; it goes when the
   inventory moves in phase 3.
-- **Two processes racing for the same root grant.** Cannot arise, because roots are
-  minted to `init` alone.
+- **Two processes racing for the same root grant.** Cannot arise: the roots are minted
+  to whichever task satisfies the chain — the manager's binary under PID 1 — and a
+  second copy spawned by anyone else fails the supervisor half.
 
 ## How this is verified