Regional duplicate reversed and failed deliveries
Verification Boundary
The suite exercises real regional persistence and processing against the prepared database. It verifies the source assertions linked in this register.
What This Suite Proves
The linked source assertions contribute checks for current state defeats duplicate and reversed delivery; assignment changes do not loop; version effects depend on placement change; redelivery can recover assignment. A scenario spanning several files relies on those assertions together; this file supplies only its named checks.
What It Does Not Prove
The register establishes neither a current passing run nor verified conformance. Unbound scenarios, broader feature chains and the delegated infrastructure beyond this execution boundary remain unproved.
Real Dependencies and Test Doubles
PostgreSQL, event capture, dispatch, consumer routing and regional processing are real. The delivery harness replaces the external queue with an in-memory message list.
Must Not Be Doubled
Regional matching, regional persistence and the stored values under assertion must remain real. A substitute answer for these dependencies cannot qualify the linked regional outcomes.