Each scenario names the guarantee it proves. Category coverage describes specified cases; executable bindings retain their narrower assertion boundaries. Lifecycle coverage remains a gap wherever guards and effects lack independent verification.
Use a committed personal request, a lost dispatch acknowledgement and a queued delivery that is later withdrawn. Repeat dispatch and request processing, withdraw the queued work, then run nightly reconciliation and read the personal inbox.
The interaction case combines the producing, processing and reading outcomes named in its frontmatter. It remains proposed until an executable suite performs that complete sequence.
Coverage
Rulegap: FND-PFM-NOT-069
Transitioncovered
Validationgap: FND-PFM-NOT-069
Permissioncovered
Edgegap: FND-PFM-NOT-069
Failurecovered
Boundarycovered
Concurrencycovered
Invariantcovered
Interactioncovered
Test Scenarios
11 scenarios proving CAP-PFM-NOT-008; 8 bound to an existing test.
01Publish acknowledged entries and retain rejected workconcurrencyapitest
Prepare a delivery sending for 20 minutes, one sending for 5; a queued delivery whose work vanished two hours ago; an expired queue row.
Steps
Execute workspace reconciliation.
Expected
The twenty-minute send fails as ambiguous, the five-minute send remains unchanged, lost work is requeued and the stale queue entry becomes an expired request.
Use a committed personal request, a lost dispatch acknowledgement and a queued delivery that is later withdrawn.
Steps
Repeat dispatch and request processing, withdraw the queued work, then run nightly reconciliation and read the personal inbox.
Expected
The occurrence has one recipient notice. Reconciliation does not send withdrawn work, and inbox applicability agrees with the retained request history.
Data
A suite-owned workspace, named staff accounts and unique occurrence keys; external adapters record attempts without shared writes.