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. Oppositely ordered overlapping groups, complete allocation-failure interactions and missing-setup read races need execution; sequential rollback does not prove concurrent ordering. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
One invalid allocation rolls back a complete setup group. Two products lack setups; the second proposed setup has fixed shares exceeding its base price. Submit both setups, read both products and the missing-setup list, then correct the allocation and retry. The failed group leaves both incomplete; the corrected group sets up both and removes them from missing-setup results.
Coverage
Rulecovered
Transitiongap: FND-ACC-PRD-066
Validationcovered
Permissioncovered
Edgegap: FND-ACC-PRD-066
Failurecovered
Boundarycovered
Concurrencycovered
Invariantgap: FND-ACC-PRD-066
Interactioncovered
Test Scenarios
7 scenarios proving CAP-ACC-PRD-017; 5 bound to an existing test.