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. Commerce realization, completion stamping, retry and consumer concurrency remain unknown; realization and removal transitions are not exercised end to end. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
Deleting a migrated product removes its handover. A migrated product has a local-audience price and a handover with a controlled realization timestamp. Delete products with unstamped and stamped handovers, after satisfying ordinary deletion guards. Both local handovers disappear with their owning products; Commerce audience deletion is outside this proof.
Coverage
Rulegap: FND-ACC-PRD-058
Transitioncovered
Validationcovered
Permissiongap: FND-ACC-PRD-058
Edgegap: FND-ACC-PRD-058
Failuregap: FND-ACC-PRD-058
Boundarygap: FND-ACC-PRD-058
Concurrencygap: FND-ACC-PRD-058
Invariantgap: FND-ACC-PRD-058
Interactioncovered
Test Scenarios
4 scenarios proving CAP-ACC-PRD-009; 2 bound to an existing test.
01Migration retains every special-price handovertransitionunittest