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. Delete-only protection, every tax permission, inactive-kind defaults and concurrent first assignments need execution; tax ownership transfer is a separate product decision. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
Default changes alter product resolution without changing product versions. Two products of the same kind differ in whether their setup names a class. Change the kind default, read both products, remove the default and repeat the reads. Only fallback resolution changes; explicit setup classification and product versions remain unchanged.
Coverage
Rulegap: FND-ACC-PRD-067
Transitioncovered
Validationcovered
Permissioncovered
Edgecovered
Failuregap: FND-ACC-PRD-067
Boundarygap: FND-ACC-PRD-067
Concurrencycovered
Invariantcovered
Interactioncovered
Test Scenarios
9 scenarios proving CAP-ACC-PRD-018; 7 bound to an existing test.