01must proveProposed | HQ alerts use ordinary pipeline requests, notices and deliveries inside the reserved Rhythm system workspace; the Platform publication interface bypasses personal preferences, identities and workspace configuration. no proof recorded yet | policy | service | test |
02must proveProposed | System audiences are accepted only in the Rhythm system workspace and do not select people; Customer system-audience requests are invalid; recipient-less notices belong only to the system workspace. no proof recorded yet | invariant | service, database | test |
03must proveProposed | A code-maintained channel map routes system definitions, including both provisioning outcomes to operations; missing mappings reject registration and make corresponding requests invalid. no proof recorded yet | validation | service | test |
04must proveProposed | Each mapped channel receives a separate notice and Slack delivery without a console delivery or personal recipient; repeated publication of the same occurrence is deduplicated. no proof recorded yet | invariant | service | test |
05must proveProposed | Slack payloads include a bold title, body, HQ context with Eastern time, open-action link buttons and plain-text fallback; operation actions are omitted, text is escaped and capped at 3,000 characters, and routing uses channel keys rather than stored Slack identifiers. no proof recorded yet | calculation | service | test |
06must proveProposed | A secret supplies the Slack bot token; Success retains the provider message reference; throttling respects Slack's minimum delay; missing channels, membership, valid credentials or active accounts fail permanently; other errors retry; missing secret or channel configuration skips delivery with a warning. no proof recorded yet | policy | service | test |
07must proveProposed | The Slack credential is absent from retained delivery outcomes and payloads. no proof recorded yet | invariant | service | test |
08Proposed | Permanent HQ-alert failure increments failure accounting and alerts the operations topic. | policy | service | documented |
09Proposed | Provisioning completion and failure publish once-per-job alerts at the requester-notification points; Requester e-mail remains independent, and alert publication failure does not fail provisioning. | policy | service | documented |
10Proposed | Installing the HQ Slack adapter does not enable personal Slack delivery before its milestone. | policy | service | test |
11must proveProposed | System-workspace initialization creates a missing reserved support workspace once, under its demonstration customer, without live status or a licence. no proof recorded yet | invariant | service, database | test |