From 8e388e048a102462e3d9693151ad6c4d47ddefb1 Mon Sep 17 00:00:00 2001
From: Daniel Samson <12231216+daniel-samson@users.noreply.github.com>
Date: Sat, 8 Aug 2026 16:35:54 +0100
Subject: [PATCH] docs: one line still had init minting the root grants

---
 docs/os-development/device-authority.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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