01must proveProposed | Shipment creation groups committed and picked units not already assigned to a shipment into contiguous line ranges at the requested warehouse or the warehouse holding most units, using the order's destination, charge, strategy, carrier and service; an empty candidate set is rejected. no proof recorded yet | validation | service | test |
02must proveProposed | A later shipping wave can pick replenished backorders under their obligations and place those units on a new shipment. no proof recorded yet | lifecycle | service | test |
03must proveProposed | A pickup choice creates a shipment at the selected collection warehouse with no carrier or shipping charge. origin: Decision L, Andrew 2026-10-18 ("add it now"): services-commerce:docs/migrations/shipping/README.md#D-P8S-14 no proof recorded yet | policy | service | test |
04must proveProposed | Releasing a shipment queues its lines for picking, and a warehouse pick list gathers released lines absent from another open list at their recorded stock locations. no proof recorded yet | lifecycle | service | test |
05must proveProposed | Claimed pick lists identify the picker, accept full or short picks, raise SKU findings for shortages, complete after every line is decided and return unpicked cancelled-list lines to the queue. no proof recorded yet | lifecycle | service, database | test |
06must proveProposed | Packing assigns picked, unpacked quantities to parcels, derives unstated parcel weights from their contents and marks the shipment packed when all live lines are packed. no proof recorded yet | calculation | service | test |
07Proposed | Manifesting a labelled shipment closes its carrier manifest and advances the shipment, lines and parcels together. | lifecycle | service | test |
08must proveProposed | Cancellation before handover cancels lines, releases shipment stamps while retaining order ownership, voids labels and pulls parcels; shipped or collected shipments reject cancellation. no proof recorded yet | lifecycle | service | test |
09must proveProposed | Shipment events are immutable and presented from oldest to newest. no proof recorded yet | invariant | database | test |
10Proposed | Shipment numbers and tracking numbers are unique within a workspace, parcel sequences are unique within a shipment, and line quantity agrees with its unit range. | invariant | database | test |
11must proveProposed | Shipment creation requires create authority, warehouse progression requires update authority and cancellation requires sensitive administrator authority. no proof recorded yet | permission | api | observed |
12Proposed | Order 360 offers shipment creation and label printing under their action permissions without exposing the remaining warehouse progression steps. | policy | console | test |