The scenarios define focused checks for this outcome. The coverage map distinguishes specified checks from unresolved proof; executable bindings identify inspected assertions and carry no execution result.
A renamed collection remains findable. Archive protection ends through Unarchive. Removing the close time cancels delivery. These checks use the related capability’s outcome as part of the setup or verification. Unbound interactions remain proposed until a suite executes the complete chain.
Coverage
Rulecovered
Transitionnot-applicable
Validationcovered
Permissiongap: FND-ACC-BAT-057
Edgecovered
Failuregap: FND-ACC-BAT-057
Boundarycovered
Concurrencycovered
Invariantcovered
Interactioncovered
Test Scenarios
13 scenarios proving CAP-ACC-BAT-003; 8 bound to an existing test.
01Details cannot set statusvalidationapinegativetest