01must proveConfirmed | Customer administrators access their own customer’s reachable workspaces; lists respect the caller’s reach, and reading another customer’s workspace returns not found. | permission | api, service | test |
02must proveConfirmed | Only Rhythm staff change business status through HQ; a console request to set live, implementation or disabled is refused with guidance to the HQ action. | permission | api | test |
03must proveConfirmed | Ordinary writes leave the system-managed lifecycle unchanged, and database constraints require a workspace awaiting deletion to remain disabled. | invariant | service, database | test |
04must proveConfirmed | Time zones accept UTC or an exactly spelled, recognized location; abbreviations, fixed offsets and Etc locations fail validation, and omission selects Eastern time. | validation | api, service, database | observed |
05must proveConfirmed | Saving a workspace adds its acronym to the display name without repeating an existing suffix. | calculation | service | test |
06must proveConfirmed | A sandbox requires a customer-type parent from the same customer; other types have no parent, and a parent with sandboxes cannot become a sandbox or change customers. | invariant | database | test |
07must proveConfirmed | Commercial-account changes require the separate versioned staff action; ordinary saves cannot change or clear that link, and selecting an account requests a licence refresh. | permission | api, service | test |
08must proveConfirmed | Workspace replacement requires the version read and rejects update-locked records; clearing omitted editable fields remains unproved. | validation | api, service | unknown |
09must proveConfirmed | Ordinary workspace requests are refused during provisioning, provisioning failure, initial loading, pending deletion, deletion and disabled status; HQ staff operations remain available with reads only during deletion, and initial-import routes have a loading exception. | policy | api, service | observed |
10Confirmed | Availability facts are cached for thirty seconds in each process; a process that explicitly invalidates those facts reads them again on its next check. | policy | service | observed |
11must proveConfirmed | Direct workspace deletion leaves records intact and directs the caller to request deletion. | lifecycle | api | test |
12must proveConfirmed | The HQ workspace list is staff-only, includes customer names, supports identifier, name and customer-name searches and status/type filters, and returns 25 records by default with a maximum of 100. | policy | api, service | test |
13must proveConfirmed | Each staff member has a private list of up to twenty pinned workspaces and ten recently opened workspaces; pinning does not count as opening. | policy | service, database | test |
14Confirmed | HQ returns a workspace’s sender identity, publication records and verification state, or indicates that the shared Rhythm sender applies. | policy | service | test |
15Confirmed | The default workspace is the reachable one sharing the customer’s identifier, otherwise the first reachable identifier in order, or no workspace if reach is empty. | calculation | service | test |