Each row links a required rule to its authored proof. A covered category records a specification; executable and remaining variant gaps stay in the finding register.
A held exception survives both automatic processing paths. The interaction scenario connects keep placements aligned with address changes, apply the current policy across existing records with this capability. Cross-workflow expectations are proposed where no executable binding is present.
Coverage
Rulecovered
Transitioncovered
Validationgap: FND-CRM-REG-054
Permissiongap: FND-CRM-REG-054
Edgegap: FND-CRM-REG-054
Failuregap: FND-CRM-REG-054
Boundarycovered
Concurrencygap: FND-CRM-REG-054
Invariantcovered
Interactioncovered
Test Scenarios
6 scenarios proving CAP-CRM-REG-009; 4 bound to an existing test.