gofmt -w: 14 files, formatting only, no behaviour change (R-1160)
This commit is contained in:
1 parent
0bc0bc5da0
commit
1edfd8e331
14 files changed
+38
-38
No files matched your search
@@ -17,12 +17,12 @@ import (
|
||||
// Four states (3A):
|
||||
// - new : durable-id NOT in the store. Never auto-mounted (the user must enroll it).
|
||||
// - enrolled : desired = mounted + bound into the guest. Drift (present && unmounted) with
|
||||
// this intent → reconcile.
|
||||
// this intent → reconcile.
|
||||
// - ejected : an intentional, temporary unmount, set ONLY via the official eject endpoint.
|
||||
// Present && unmounted → left alone. CLEARED to `enrolled` when the drive goes
|
||||
// physically ABSENT, so a replug auto-mounts (the replug rule, for free).
|
||||
// Present && unmounted → left alone. CLEARED to `enrolled` when the drive goes
|
||||
// physically ABSENT, so a replug auto-mounts (the replug rule, for free).
|
||||
// - decommissioned : permanent. Never auto-mounted; SURVIVES absent/present; cleared only by an
|
||||
// explicit re-commission.
|
||||
// explicit re-commission.
|
||||
//
|
||||
// The elegant invariant: intent is recorded ONLY through the official enroll/eject/decommission
|
||||
// paths. "Is it unmounted" ≠ "did someone officially eject it."
|
||||
|
||||
Reference in new issue
Block a user