01must proveConfirmed | Workspace period reads list each month once newest first using its current or highest version, with status, basis, publication or skip detail, and reject users from another customer. | permission | api, service | test |
02must proveConfirmed | HQ snapshot operations are staff-only, separate read permission from run and policy management, and refuse customer administrators. | permission | api | test |
03must proveConfirmed | Snapshot periods follow the workspace’s own time zone and identify the month described. | calculation | service | test |
04must proveConfirmed | Planning includes active eligible workspaces, skips loading or disabled workspaces with recorded reasons, and applies type-specific policy ahead of workspace-wide policy and defaults. | policy | service | test |
05must proveConfirmed | Manual reruns allocate a new period version and reject overlapping active runs, while back-fill skips existing months unless supersession is requested. | lifecycle | service | test |
06must proveConfirmed | Validation and publication commit together, leaving no rows or current-version change after failure and preserving earlier versions when a rerun publishes. | invariant | service, database | test |
07must proveConfirmed | The shared snapshot ledger restricts application writers to their own service’s runs and denies deletion. | invariant | database | test |
08must proveConfirmed | The database permits only one active run and one current version per workspace, snapshot type and period. | invariant | database | test |
09must proveConfirmed | Failed snapshots retry after fifteen minutes, one hour and four hours, stop after a fourth failure, and raise overdue alarms when publication misses its deadline. | lifecycle | service | documented |
10must proveConfirmed | Snapshot requests require a reason, valid month and configured type, with run pages capped at one thousand. | validation | api | test |
11must proveConfirmed | Workspace purge removes every snapshot version, run and policy override for that workspace. | lifecycle | service | test |
12Confirmed | Requests create ledger work that each owning application admits through its own dispatcher, capped at four concurrent runs including at most one back-fill. | policy | service | documented |