Locate products and inspect their configuration: 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. Reads during setup or default mutations, complete filter combinations, cursor boundaries and permission combinations need fuller scenario coverage. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.

Interactions With Related Capabilities

Product reads reflect setup and default changes. A product has its own setup class and its kind has a different default. Read the product, remove its setup, remove the kind default, and repeat the product read after each action. The resolved class and accounting summary track the remaining configuration in priority order.