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 one accepted request and one request with an empty audience. Inspect both in administrator History and their diagnostic detail, then compare HQ History with and without an active workspace grant.
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-072
Transitionnot-applicable
Validationcovered
Permissioncovered
Edgecovered
Failuregap: FND-PFM-NOT-072
Boundarycovered
Concurrencygap: FND-PFM-NOT-072
Invariantgap: FND-PFM-NOT-072
Interactioncovered
Test Scenarios
7 scenarios proving CAP-PFM-NOT-011; 6 bound to an existing test.
01Require notification management for Historypermissionapinegativetest
Prepare one accepted request and one request with an empty audience.
Steps
Inspect both in administrator History and their diagnostic detail, then compare HQ History with and without an active workspace grant.
Expected
The accepted request links its explained notice and deliveries; the empty request remains inspectable without notices. Granted HQ lists agree with administrator lists and ungranted reads refuse access.
Data
A suite-owned workspace, named staff accounts and unique occurrence keys; external adapters record attempts without shared writes.