01must proveProposed | Assignment records the assigning actor and time, preserves the original stamps when the holder is unchanged, and clears them when assignment is removed. no proof recorded yet | invariant | service, database | test |
02must proveProposed | A task may have a holder, queue, both or neither, and queue membership carries its entry time for arrival ordering. no proof recorded yet | invariant | service, database | test |
03must proveProposed | Changing queues records a new entry time, while edits within the same queue retain the earlier place. no proof recorded yet | calculation | service | test |
04must proveProposed | The assignment action can change the holder and queue together but rejects closed tasks. no proof recorded yet | policy | service | test |
05must proveProposed | Assignments reject stale versions when one is supplied; without a version, the last assignment takes effect. no proof recorded yet | validation | api, service | test |
06must proveProposed | A holder must have a valid Rhythm user identifier, and a service principal cannot hold work. no proof recorded yet | validation | api, service, database | test |
07must proveProposed | The product should check workspace membership and task eligibility with Platform; assignment currently validates identifier syntax only. no proof recorded yet | validation | service | test |
08must proveProposed | A queued open task without a holder can be claimed, and simultaneous attempts produce one winner with the others informed of the holder. no proof recorded yet | invariant | service, database | test |
09must proveProposed | An unqueued task with no role offer must be assigned; claims are rejected for closed tasks and full update locks. no proof recorded yet | validation | service | observed |
10must proveProposed | Release clears the holder while preserving the queue position, is available to any caller with update authority, and rejects a task with no holder. no proof recorded yet | policy | service | test |
11Proposed | Claim requires a signed-in user, while release can be performed by an authorized service because it sets no new holder. | permission | service | test |
12must proveProposed | Inactive queues still permit task creation and claims. no proof recorded yet | policy | service | test |
13Proposed | The console shows Claim for open unassigned queued work and Release for open assigned queued work, subject to task update permission. | permission | console | test |