01must proveProposed | Open, Waiting for someone else and Deferred remain work in progress, while Completed and Cancelled are closed; ordinary edits move only among the open statuses. no proof recorded yet | lifecycle | service, database | test |
02must proveProposed | Completion and cancellation use their dedicated actions and cannot be performed by a general task edit. no proof recorded yet | lifecycle | service | test |
03must proveProposed | Completion and cancellation record the actor and time, retaining those stamps only for the corresponding closed status. no proof recorded yet | invariant | service, database | test |
04must proveProposed | Switching between Completed and Cancelled requires reopening first. no proof recorded yet | lifecycle | service | test |
05must proveProposed | A person cannot repeat completion of a completed task or cancellation of a cancelled task. no proof recorded yet | validation | service | test |
06must proveProposed | Reopening a closed task sets Open and removes closing stamps; reopening work already in an open status is refused. no proof recorded yet | lifecycle | service, database | test |
07must proveProposed | General edits to a closed task are rejected even when the requested values are unchanged. no proof recorded yet | lifecycle | service | test |
08must proveConfirmed | Complete, Cancel and Reopen require the version read and reject a stale version. no proof recorded yet | validation | api, service | test |
09Proposed | Closing a task preserves its holder and queue membership. | policy | service | test |
10must proveProposed | Lifecycle refusals include a problem code and explanatory message, but other task refusals do not uniformly include codes. no proof recorded yet | policy | service | test |
11must proveProposed | Only a signed-in user or registered service principal can close a task. no proof recorded yet | permission | service | test |
12Proposed | A closed task’s console fields are disabled and Reopen is the available state-changing action. | policy | console | test |