01must proveProposed | The minute reconciler runs checks due every minute, every fifth minute, hourly at minute zero or daily at 02:00 UTC, and records a thrown check while continuing the others. origin: D-P5-07 (build decision, not a product ruling): services-commerce:docs/migrations/operations/README.md#D-P5-07 no proof recorded yet | lifecycle | service | test |
02must proveProposed | Unbilled placed orders older than ten minutes are counted, blocked candidates raise billing-blocked findings, and other candidates raise placed-without-invoice findings once sixty minutes old. no proof recorded yet | calculation | service | observed |
03must proveProposed | Payment uncertainty lasting fifteen minutes, accepted lines missing invoice links after ten minutes, reservation holds ten minutes beyond expiry and migrated obligations blocked thirty days raise findings in their workspace; window-voided orders receive one informational finding. no proof recorded yet | calculation | service | test |
04must proveProposed | Adjustments active for fifteen minutes are resumed, except processor-only refunds, which wait until their request is a day old. origin: COMM-M1 R7-2 (repair report, not a product ruling): services-commerce:docs/milestones/COMM-M1-repairs-7-report.md#R7-2 no proof recorded yet | lifecycle | service | test |
05must proveProposed | The reversal backstop raises one informational refund-without-cancellation exception for each order reached through recent reversal receipts, without inspecting cancellation documents. no proof recorded yet | policy | service | observed |
06Proposed | The hourly dead-letter check publishes queue depth as a metric without creating an operational exception. | policy | service | observed |
07must proveProposed | Daily checks raise one discount-drift finding per affected order from the previous two days and retain one recurring counter-drift finding per promotion or code whose use count disagrees with redemptions. origin: Decision I, Andrew 2026-10-18 (promotion drift checks): services-commerce:docs/migrations/promotions/README.md#B8; docs/migrations/operations/README.md#D-P5-17 no proof recorded yet | calculation | service | test |
08Proposed | Reconciliation delegates actions to the owning keyed process instead of directly modifying money or application-delivered records. | invariant | service | observed |
09must proveProposed | Cross-workspace candidate reads require their sweep permissions and reject an existing transaction; resulting findings are written in each record's workspace. no proof recorded yet | invariant | service, database | test |
10Proposed | Scheduled-amendment, overdue-return and inventory-balance checks remain skipped, while stale-obligation and acknowledgement handling remain delegated to the checkout sweep. | policy | service | test |