01must proveProposed | Publishing inserts a queue entry in the producer's transaction; its availability follows the same commit or rollback as the business change. no proof recorded yet | invariant | database, service | test |
02must proveProposed | The producer capability role inserts only caller-owned queue fields in its own workspace; it cannot set claim or ordering fields, inspect or mutate existing entries, or access other notification tables. no proof recorded yet | permission | database | test |
03must proveProposed | The combination of submitting service, idempotency key and request kind identifies one request; Repeating it returns the same identifier with a duplicate receipt and leaves one queue entry. no proof recorded yet | invariant | database, service | test |
04must proveProposed | Queue payloads are objects limited to 32 KB; Entries identify a publish or cancel operation, a service submitter, a three-segment definition key and a derived version-five identifier; Occurrence cancellation uses the publish identifier but a separate entry. no proof recorded yet | validation | database | test |
05must proveProposed | Submission validates the complete envelope before writing or nudging dispatch; invalid or extra fields produce path-specific refusals; audience reasons occupy one line and at most 200 characters. no proof recorded yet | validation | api, service | test |
06must proveProposed | HTTP publication and cancellation require a Rhythm system caller with publish permission; console callers are rejected even with all Platform permissions; IAM invocation requires the assigned invoke policy. no proof recorded yet | permission | api | test |
07Proposed | A receipt supplies the identifier derived from service and key and indicates duplication; Processing later determines the outcome displayed in History. | policy | service | test |
08must proveProposed | Cancellation identifies the request to withdraw; unknown identifiers are not found, and a reason is required. no proof recorded yet | validation | api, service | test |
09Proposed | A post-commit nudge starts dispatch; Minute-by-minute scheduling supplies another chance when a nudge is lost, without imposing a delivery deadline. | policy | service | observed |
10Proposed | IAM submissions use the service named by the event and return the same publish or cancel receipt as HTTP. | policy | service | test |