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.
Assign Jane a scoped responsibility and publish two matching contributions. Read the explanation, mark the folded notice read and unread, end the assignment, and compare inbox lists with unread totals.
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
Rulecovered
Transitiongap: FND-PFM-NOT-070
Validationcovered
Permissioncovered
Edgecovered
Failuregap: FND-PFM-NOT-070
Boundarygap: FND-PFM-NOT-070
Concurrencygap: FND-PFM-NOT-070
Invariantcovered
Interactioncovered
Test Scenarios
10 scenarios proving CAP-PFM-NOT-009; 9 bound to an existing test.
01Require personal notification permissionpermissionapinegativetest
First-read time is preserved, unread restores counting, archive moves the item out of normal views and restoration returns it with the corresponding count.
Assign Jane a scoped responsibility and publish two matching contributions.
Steps
Read the explanation, mark the folded notice read and unread, end the assignment, and compare inbox lists with unread totals.
Expected
The explanation retains the selection reason. Read and archive choices affect only Jane, while the superseded assignment stays readable outside applicable unread results.
Data
A suite-owned workspace, named staff accounts and unique occurrence keys; external adapters record attempts without shared writes.