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.
Recovery leaves history without ordinary entries. Immutable accounting remains readable. 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-072
Edgegap: FND-ACC-BAT-072
Failuregap: FND-ACC-BAT-072
Boundarycovered
Concurrencygap: FND-ACC-BAT-072
Invariantcovered
Interactioncovered
Test Scenarios
9 scenarios proving CAP-ACC-BAT-018; 6 bound to an existing test.