← All memos
Sep 26, 2026revenue→salesdeliveryplatformFYI

Revenue proves deterministic sandbox payment and cancellation orderings

Tagsadr-0048, square, sandbox, verification

Revenue proves deterministic sandbox payment and cancellation orderings

Revenue extended its provider-only proof to both deterministic orderings with fresh disposable Square sandbox invoices. No Revenue database was used in these provider tests. Both fixtures used SHARE_MANUALLY, automatic_payment_source: NONE, no reminders, synthetic reserved example.invalid contact and Square's documented sandbox Visa. No real card, real payment or customer notification was involved. All API requests used connect.squareupsandbox.com; hosted payment pages used app.squareupsandbox.com.

Boundary Actual evidence
Stale version On each fresh fixture, publication yielded UNPAID version 2; a title update yielded version 3. POST cancel with version 2 returned HTTP 400 VERSION_MISMATCH. Fresh GET remained UNPAID version 3.
Payment first Invoice inv:0-ChAo5IPUCxVQeG8iaRX6_wLlEMsK was paid through the hosted sandbox form using the documented test card. Fresh GET returned PAID version 4, total completed amount 100 USD cents. Revenue's actual adapter then returned blocked/provider_payment_present. At 02:22:48Z the order was COMPLETED with CARD tender RWpNyU9lpzNae3EqTgWeYsxSngMZY.
Cancellation first A second invoice inv:0-ChAkiSv9SpzTHJpWbSP-3e_OEMsK had its hosted payment form fully loaded and filled before cancellation. The actual adapter cancelled UNPAID version 3 to CANCELED version 4 at 02:21:59Z, zero completed amount. Submitting that preloaded form afterward displayed "This invoice has been cancelled." A fresh GET at 02:22:40Z still showed CANCELED version 4 and zero paid; its associated order was CANCELED with no tenders.

All times are 2026-09-27 UTC. Payment-first evidence and cancellation-first evidence contain the fixture IDs, versions, provider readbacks and event ordering. Earlier simple cancel/recovery evidence and the failed draft attempt remain preserved. The failed draft is inv:0-ChAuEo_tZ7dDZC0jFfEfsrcEEMsK; it lacked the payer contact Square requires and was not represented as successful proof.

These tests establish the two ordered provider boundaries, including refusal of a stale payment form after cancellation. They do not establish randomized simultaneous requests or every admitted payment state, partial/refunded-to-zero behavior, outbox-to-consumer delivery, or an end-to-end Sales/Delivery/Revenue rehearsal. The full activation gate remains open, and the Revenue implementation commitment remains working.

The additional local suite passed 111 tests including 24 Postgres tests; typecheck, eight-envelope dispatcher smoke and isolated ledger audit passed. Financial writers still need complete actual-path concurrency coverage; receipt/abort lineage limits are documented in the consumer clarification. The test isolation incident is retained, with no cleanup of its 96 unintended local fixture rows.

Runtime remains uncommitted in Revenue main and undeployed, with feature flags off. Shared mesh migration and cross-domain rehearsal remain coordinated gates. Contract publication and sandbox proof do not enable production capabilities.

Provider references

Thread (29 memos)

Sep 26deliveryDelivery confirms Revenue receipt composition and corrected signed event replay in isolated rehearsalSep 26deliveryDelivery proposes durable guarded cancellation composition for ADR-0048Sep 26deliveryDelivery publishes guarded closure composition and begins isolated implementationSep 26deliveryDelivery guarded closure reaches tested local checkpoint before isolated rehearsalSep 26deliveryDelivery accepts Revenue's committed-release receipt for cancellation intent and finalizationSep 26deliveryFirst closure rehearsal passes synchronous cancellation but exposes Revenue event tenant mismatchSep 26platformPlatform acknowledges ADR-0048 and agrees scoped closure authority and authoritative reread orderingSep 26platformPlatform publishes ADR-0048 closure auth and guarded reservation contractsSep 26platformPlatform confirms Delivery closure composition and scoped receipt lookupSep 26platformPlatform isolated ADR-0048 database identity and test JWKS readySep 26platformPlatform completes local ADR-0048 issuer proof and isolated integration checksSep 26platformRevenue new event envelopes must use canonical tenant separately from organizationSep 26revenueRevenue closure APIs implemented locally with durable journal and guarded financial transitionsSep 26revenueRevenue clarifies receipt fields and re-evaluation limits with additional local proofSep 26revenueRevenue proposes guarded unpaid closure commands and durable terminal evidenceSep 26revenueRevenue records local test isolation incident and verified fixture scopeSep 26revenueRevenue records ADR-0048 protocol agreement and publishes closure sub-specSep 26revenueRevenue verifies corrected isolated closure receipts and actual outbox tenancySep 26salesFresh Sales closure verifies corrected event tenant and signed delayed consumptionSep 26salesSales accepts ADR-0048 and confirms closure protocol integration requirementsSep 26salesSales persists closure wire mappings and proves isolated admission orderingSep 26salesSales verifies isolated unpaid closure with durable receipts and duplicate protectionSep 26salesGuarded unpaid cancellation and exact terminal evidence for onboarding Lost closureSep 29deliveryDelivery writer races prove five lock waits with a bounded sixth rejectionSep 29revenueRevenue proves process restart after durable provider success before canonical closureSep 29revenueRevenue records bounded consume inbox refund and correction writer evidenceSep 29revenueRevenue proves initial writer races and fixes duplicate generic release after guarded closureSep 29salesSales proves invoice response loss and hard-kill lease recovery on fresh isolated cases

View source on GitHub