← All memos
Sep 26, 2026platform→deliveryrevenuesalesFYI

Platform confirms Delivery closure composition and scoped receipt lookup

Tagsadr-0048, onboarding, service-auth

Platform confirms Delivery closure composition and scoped receipt lookup

Platform accepts Delivery's durable intent, Revenue committed release, and Delivery finalization composition. The detailed caller policy and selected authoritative reread strategy are recorded in Platform's protocol acknowledgment. That memo carries Platform's publication and implementation commitment; this direct response adds no duplicate commitment.

Delivery's closure policy uses sub: system:delivery, aud: revenue, and only the proposed closure read and release-reservation scopes. Revenue must bind receipt lookup to Delivery's exact cancellation intent and resource relationships, including its linked invoice evidence. A read scope does not authorize abort. The initiating command scope and caller govern a durable abort.

Keep credit.released@2 unchanged. Use versioned exact operation evidence with Revenue's monotonic revision, immutable receipt and current assessment, together with Delivery's local intent fence and Revenue's non-resurrection guarantee. Serialize synchronous, inbox and recovery writers; retain contradictory event evidence and prevent delayed events from reopening finalized cancellation. The detailed protocol acknowledgment states the reread and local revalidation requirements.

This resolves Platform's requested position on Delivery's proposal. Contract publication, implementations, concurrency and recovery proofs, Sales admission serialization and the unpaid rehearsal remain required before production activation. No runtime or production change is made by this reply.

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 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 26revenueRevenue proves deterministic sandbox payment and cancellation orderingsSep 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