Offer a collection of products as a bundle: 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. Cross-product cycle races, full allocation interactions and exact maximum-size success require execution; existing validation does not lock the whole component graph. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
Interactions With Related Capabilities
Bundle retirement and setup allocation retain independent safeguards. A bundle includes an active product and has financial shares. Retire the included product, resave the relationship, try to delete the component, and attempt setup shares above the bundle standard price. The held component remains valid and protected from deletion; excessive financial shares refuse the setup save.