Say why LeaseHandedAway and LeaseCut are two fields: the cut precedes the holder's write and outlasts it at a hand-back (issue 774)

Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL
2026-11-02 01:41:46 +01:00
parent c816666f83
commit dff0ce2abb
1 changed files with 2 additions and 1 deletions
@@ -150,7 +150,8 @@ type Records struct {
 	Engine *Declared
 	// LeaseHandedAway says the controller's lease names a holder that is no controller (ADR 0582 §3), as the grants part
 	// reads it: an enrolment user then enrols through the seat mesh-enrolment alone (novox/hq ADR 0587 §6). The
-	// controller's composer never sets it.
+	// controller's composer never sets it. It is not LeaseCut: the cut is composed before the holder is written, so the
+	// grants part may write it, and outlasts the holder at a hand-back; the two are true together only in between.
 	LeaseHandedAway bool
 	// NodeLogins is each node's key of the vault's node-logins (novox/hq ADR 0583 §1): the login in use and the one
 	// rotating, each composed as a user of the node's permissions. A node absent logs in as `node.<n>` alone.