01must proveProposed | Provisioning inserts the workspace’s five system payment methods once, preserves previously renamed methods on retry and reports no provisioning work for other participants. | lifecycle | service | test |
02must proveProposed | Erasure proceeds resumably in bounded batches through dependent records before configuration, with reconciliation first and billing, transaction and fiscal-close data ahead of their referenced configuration. | lifecycle | service, database | test |
03must proveProposed | Purge refuses an unknown workspace, one not being deleted or one whose deletion was cancelled, without removing records. | validation | service | test |
04must proveProposed | Purging one workspace leaves every other workspace’s records unchanged. | invariant | database | test |
05must proveProposed | Lifecycle declarations assign every workspace-owned Accounting table to exactly one purge participant and exclude shared vocabularies. | invariant | service | test |
06must proveProposed | Exports batch one dataset up to the creation cut-off, include workspace identity and processor references without credentials, and block before staging when a Stripe API-key, webhook-secret or client-secret pattern is detected. | policy | service | test |
07must proveProposed | Ordinary users are served only in active enabled workspaces; deleting workspaces permit staff reads, loading workspaces permit data-job routes, unknown workspaces are unavailable and state lookup is cached for up to thirty seconds. | policy | api | test |
08must proveProposed | Lifecycle requests refuse reset, unknown operations or participants, missing workspace or run identity and batch sizes outside bounded whole-number limits. | validation | service | test |
09must proveProposed | Export blocks undeclared datasets, completes excluded history with an empty part and warning, and permits not-applicable only for an initial request with neither dataset data nor financial history. | policy | service | observed |