roster: data model + event-driven update protocol (always-current) #797
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Part of EPIC #796 (design-first).
Every orchestrating agent maintains a roster of the agents it leased or launched; the Orchestrator (Mos) roster spans all Team-Lead and 1st-class sessions. The roster must stay current AT ALL TIMES — event-driven on spawn / kill / lease, NOT periodic polling.
Scope (design doc under docs/design/ first):
Security: roster write-path integrity is a secrev surface (corrupted roster = attacker-controlled terminal embeds downstream). Ownership/permissions/integrity on the store.