01must proveProposed | A warehouse or location count starts without lines, records each item's on-hand expectation when counted, rejects items outside its scope and replaces a line's earlier count on recount. no proof recorded yet | lifecycle | service | test |
02must proveProposed | Count completion writes keyed corrections for differences from on-hand at completion and stamps counted items, while rejecting later line edits and repeated completion; cancellation writes no corrections. no proof recorded yet | calculation | service | test |
03must proveProposed | Each subject has one open stock finding per kind, repeats increase occurrences, resolution requires its result and cannot repeat, and later recurrence can open a new finding. no proof recorded yet | lifecycle | service, database | test |
04must proveProposed | The daily check releases expired holds with an expiry reason and raises an expired-hold finding for each, without automatically correcting other discrepancies. no proof recorded yet | lifecycle | service | test |
05must proveProposed | Balance reconciliation compares stored balances with ledger derivation and reports both sets of figures without silently replacing them. no proof recorded yet | invariant | service | test |
06must proveProposed | A committed or picked allocation linked to a terminal delivery obligation produces a stale-allocation finding. no proof recorded yet | policy | service | test |
07must proveProposed | Tracked SKUs at or below their variant or fallback product reorder point produce low-stock findings carrying the applicable reorder quantity. no proof recorded yet | calculation | service | test |
08must proveProposed | Inventory and tracked-product scans follow all pages when time permits, report incomplete work on early stopping and restart from the beginning on the next run. origin: Q08, Andrew 2026-10-19: services-commerce:docs/migrations/inventory/README.md#D-P8I-24 no proof recorded yet | policy | service | test |
09Proposed | The cost reconciliation pass reports on-hand versus open-layer disagreement and recent outgoing shipment or transfer movements lacking relief. | policy | service | test |
10must proveProposed | Repeated nightly checks increment existing open findings rather than creating duplicates. no proof recorded yet | invariant | service | test |
11must proveProposed | Stock-workspace discovery requires sweep authority and rejects an existing transaction, while all resulting findings are stored within the relevant workspace. no proof recorded yet | invariant | service, database | test |
12must proveProposed | Count creation, recording and completion and finding acknowledgement or resolution require administrator inventory permissions. no proof recorded yet | permission | api | observed |