Assign a product’s accounting treatment: 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. All lock transitions, setup mutation on retired products, first-setup races and staged console failure/retry need execution; unchanged posted accounts have a separate browser proof. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
Interactions With Related Capabilities
Setup removal restores missing-setup and kind-default reads. A product has a deferred setup class, a kind default and deletion protection on its setup. Try product deletion, deliberately remove setup protection, delete the setup, and read the product and missing-setup list. Setup protection blocks product removal; setup deletion keeps the product, restores kind fallback and returns it to missing-setup results.