A practical contract for permanent agent handles
The attached reference describes the state transitions behind a handle that remains trustworthy after its owner renames the agent. The central check is that no retirement path makes an old name assignable again.