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.
Recalculation preserves exceptions and reports its coverage. The interaction scenario connects keep placements aligned with address changes, preserve a deliberate regional exception, identify placements that need recalculation, monitor recalculation and recover from failure with this capability. Cross-workflow expectations are proposed where no executable binding is present.
Coverage
Rulecovered
Transitioncovered
Validationgap: FND-CRM-REG-056
Permissioncovered
Edgegap: FND-CRM-REG-056
Failuregap: FND-CRM-REG-056
Boundarycovered
Concurrencycovered
Invariantcovered
Interactioncovered
Test Scenarios
11 scenarios proving CAP-CRM-REG-011; 9 bound to an existing test.
01Start authority uses the admin-tier keypermissionunitnegativetest