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.
Manual intake occupies a generated name. Rolling does not duplicate a due close. Inactive intake survives until reactivation. 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
Transitiongap: FND-ACC-BAT-064
Validationcovered
Permissiongap: FND-ACC-BAT-064
Edgecovered
Failurecovered
Boundarycovered
Concurrencygap: FND-ACC-BAT-064
Invariantcovered
Interactioncovered
Test Scenarios
12 scenarios proving CAP-ACC-BAT-010; 6 bound to an existing test.
01Occurrences use the workspace’s local dateboundaryapitest