01must proveConfirmed | A warning can be accepted immediately by one accept-authorized person who supplies a resolution, without an approver. | policy | service, database | test |
02must proveConfirmed | Blocker acceptance first stores a resolution request without closing the open or investigating problem; it continues to block and another pending request is rejected. | policy | service | test |
03must proveConfirmed | Approval requires a different accept-authorized person and current version, refusing self-approval or approval without a pending request. | permission | service, database | test |
04must proveConfirmed | Successful approval accepts the blocker, retains the requester as resolver and records the approver, with repeat approval by that approver returning the same result. | lifecycle | service | test |
05must proveConfirmed | Clients cannot supply the approval identity; Rhythm derives it from the person performing approval. | validation | api | test |
06must proveConfirmed | Only the original requester can withdraw a pending acceptance, clearing the request while leaving the blocker open; absent requests cannot be withdrawn. | policy | service | test |
07must proveConfirmed | Database constraints require an accepted blocker’s request and independent approver, forbid warning approvers and reserve pending requests for blockers. | invariant | database | test |
08must proveConfirmed | Human resolution or detector clearing also removes a pending acceptance request and records its removal. | lifecycle | service | test |
09must proveConfirmed | Acceptance operations require replayable request keys, reject changed bodies and record refused commands in exception history. | validation | api, service | test |
10must proveConfirmed | Accept permission, a sensitive administrator approval beyond update, governs request, approval and withdrawal. | permission | api | test |
11Confirmed | The console collects an acceptance reason, identifies the pending requester and offers approval and withdrawal through accept permission checks. | policy | console | observed |