Post and reverse fiscal-close system batches: Capability Test Specification
Coverage
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.
Interactions With Related Capabilities
Fiscal collections reject ordinary controls. Fiscal close blocks ordinary recovery. Fiscal reopening restores pending releases. 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.