Withdraw a product from sale and restore it: Capability Test Specification
Coverage
The frontmatter lists a proof scenario or finding for every required rule and records each applicable category. Scenario coverage describes what to check; bindings identify the assertions that already exist, and execution results remain unverified. Inactive retirement, both restoration lock states, invoice preservation and concurrent lifecycle actions require complete execution. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
Interactions With Related Capabilities
Retiring a held component changes admission without removing the relationship. A bundle holds one active component and a second active product is not included. Retire both products; try ordinary correction, resave the held component, add the newly retired product, and delete the held component. Ordinary correction and new inclusion fail; retained inclusion succeeds and its deletion remains blocked.