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. Concurrent identity creation, initial inactive status, all identity syntax boundaries and recovery after a lost creation response need executable proof. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
Invalid pricing or bundling prevents a complete product replacement. A valid product has a standard price and same-unit sellable component. Create it with both collections, then replace it with an invalid price and with a foreign-unit component. The valid creation reads back as one aggregate; neither refused replacement changes it.
Coverage
Rulegap: FND-ACC-PRD-051
Transitioncovered
Validationcovered
Permissioncovered
Edgecovered
Failurecovered
Boundarycovered
Concurrencygap: FND-ACC-PRD-051
Invariantcovered
Interactioncovered
Test Scenarios
15 scenarios proving CAP-ACC-PRD-002; 13 bound to an existing test.