Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

B-20 · High

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

A second planarian agent run under a running agent’s name rebinds that agent: authority was looked up by name, so an administrator re-running agent run helper made alice’s running agent an administrator’s

BreaksStatusMitigationCloses in
Correct (authority)Closed (8231a07)I24: authority bound to the unit instance (InvocationID, read from the peer’s cgroup xattr) a start journaled after it succeeded; agent run refuses a name in use, naming its owner. Gym: agent-name-collision (fake and VM)A

The guarantees it narrows

I24.