01must proveConfirmed | Customer user lists contain that customer’s console memberships with roles, surname ordering, name/e-mail search, status, role and invitation filters and pages of at most 100; revoked memberships are hidden by default, and platform staff authority alone cannot access another customer’s list. | policy | api, service | test |
02Confirmed | Membership detail includes profile, assignments with role and grantor, and the latest invitation’s delivery information; missing and outside-customer identities share the refusal. | policy | service | test |
03must proveConfirmed | Versioned profile edits change only first name, last name, display name, time zone and locale, preserving e-mail, status and customer ownership. | validation | api, service | test |
04must proveConfirmed | Deactivation commits suspended membership and withdrawn invitations, then attempts pool disablement and flush submission; fresh membership reads refuse it, cached decisions can persist, pool failure is reported without reversing suspension, and self-suspension or revocation fails. | lifecycle | service | observed |
05must proveConfirmed | Reactivation applies only to suspended memberships, requires widening authority over their retained grants and attempts pool enablement without reviving withdrawn invitations; an enablement failure is reported while the membership change remains committed. | permission | service | observed |
06must proveConfirmed | Revocation ends membership, outstanding invitations and held assignments; returning requires a fresh invitation rather than reinstatement. | lifecycle | service | test |
07must proveConfirmed | A guarded write that would reduce a non-Rhythm customer from one or more qualifying administrators to none rolls back; qualifying administrators are active customer console users with active, unconditional customer-wide roles containing the security-administrator policy, and an already-zero count does not trigger refusal. | invariant | service | observed |
08must proveConfirmed | Deletion requires delete and access-management authority, preserves name attribution and refuses referenced identities, self-deletion, loss of the customer’s last qualifying administrator or loss of Rhythm’s last Rhythm Administrator. | lifecycle | api, service, database | test |
09must proveConfirmed | Revocation and deletion commit durable pool-account work for retried background disablement or removal; the response can precede completion of that work. | policy | service | test |
10must proveConfirmed | Console memberships belong to one customer and portal memberships to one workspace; the same address can identify distinct memberships across those boundaries, same-boundary duplicates fail and ordinary edits cannot move lifecycle. | invariant | api, service, database | test |
11must proveConfirmed | Canonical sign-in linking requires identity-management authority and a pool account that exists, is enabled and carries the membership’s verified matching address. | validation | service | test |
12Confirmed | The user view separates Profile, Roles, Access and History, keeps editing on a separate page and hides Edit when user-management permission is absent. | policy | console | test |