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.
Prepare a folded console item, one queued external delivery and an explicit assignment with a delayed notice. Withdraw one folded contributor, end the delayed assignment, run delivery and reconciliation, then inspect the remaining items.
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-067
Transitiongap: FND-PFM-NOT-067
Validationgap: FND-PFM-NOT-067
Permissionnot-applicable
Edgecovered
Failuregap: FND-PFM-NOT-067
Boundarycovered
Concurrencygap: FND-PFM-NOT-067
Invariantgap: FND-PFM-NOT-067
Interactioncovered
Test Scenarios
10 scenarios proving CAP-PFM-NOT-006; 9 bound to an existing test.
01Cancel before processing and permit later publicationtransitionapinegativetest
Jane's inbox contains a delivered assignment item that remains unread.
Steps
End the source assignment, process its cancellation twice and attempt cancellation of an already-settled request.
Expected
The item remains readable but inapplicable and excluded from unread totals. Repeated cancellation and settled-request cancellation leave state unchanged.
Prepare a folded console item, one queued external delivery and an explicit assignment with a delayed notice.
Steps
Withdraw one folded contributor, end the delayed assignment, run delivery and reconciliation, then inspect the remaining items.
Expected
The surviving contributor keeps its notice. Withdrawn external work does not send, the delayed assignment notice never appears, and reconciled requests cannot be withdrawn again.
Data
A suite-owned workspace, named staff accounts and unique occurrence keys; external adapters record attempts without shared writes.