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 changes dependent lookup. Unpost restores ordinary actions. Recovery permits document reassignment. Reposting creates a fresh generation. Guarded recovery removes only its ledger. Recovery leaves history without ordinary entries. Fiscal close blocks ordinary recovery. 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-070
Validationcovered
Permissiongap: FND-ACC-BAT-070
Edgecovered
Failurecovered
Boundarygap: FND-ACC-BAT-070
Concurrencycovered
Invariantcovered
Interactioncovered
Test Scenarios
15 scenarios proving CAP-ACC-BAT-016; 8 bound to an existing test.
01Recovery access and state are checkedpermissionbrowsernegativetest
Two batches are Posted and the first contains deferred revenue.
Steps
Unpost the first and inspect all ledger history, posting history, schedules and the second batch.
Expected
The first has no entries or reversal entries, retains a reversed posting record, voids open schedules and becomes Open without posting time; the second is unchanged.