01must proveProposed | Concurrent final reviews required by a counting rule are both retained with one stage completion and decision, while reviews after an earlier completion obey the late-response policy. | invariant | service, database | test |
02must proveProposed | Repeated completion changes nothing and is refused; database constraints also prevent concurrent open runs and multiple current decisions for an application. | invariant | service, database | test |
03must proveProposed | An all-assigned stage completes after all remaining live work answers, excludes declined, recused and revoked assignments and flags an empty panel as short. | calculation | service | test |
04must proveProposed | A count rule completes at its required response count, retains responses from subsequently removed reviewers and flags a panel unable to reach that count. | calculation | service | test |
05must proveProposed | An any-one rule completes on its first submitted response and takes a rejecting recommendation as non-approval. | calculation | service | test |
06must proveProposed | Unanimous approval fails at the first non-approving response, including an abstention. | calculation | service | test |
07must proveProposed | A majority rule completes when remaining work cannot change the result, requiring more than half and treating a final even split as non-approval. | calculation | service | test |
08must proveProposed | Completion expires outstanding assignments unless late responses are allowed and atomically advances review or records the decision. | lifecycle | service | test |
09must proveProposed | Only administrators can end stages early, recording their reason, identity and current counts with any optional decision. | permission | api, service | observed |
10must proveProposed | Requirement stages wait for fulfillment or an authorized waiver; external completion uses a staff-only route, while the Commerce participant remains unavailable. | lifecycle | api, service | test |
11must proveProposed | Ended-stage mutations refuse draft saves, review submissions and assignment or staff actions according to their service guards. | validation | service | observed |
12must proveProposed | Re-entering the same stage assigns the next run number for that application and stage. | calculation | service | test |