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.
Changed address choices wait for explicit bulk application. The interaction scenario connects build the geographic assignment policy, keep placements aligned with address changes, identify placements that need recalculation with this capability. Cross-workflow expectations are proposed where no executable binding is present.
Coverage
Rulecovered
Transitioncovered
Validationcovered
Permissiongap: FND-CRM-REG-048
Edgecovered
Failurecovered
Boundarycovered
Concurrencycovered
Invariantgap: FND-CRM-REG-048
Interactioncovered
Test Scenarios
9 scenarios proving CAP-CRM-REG-003; 7 bound to an existing test.
An enabled policy places contacts by their preferred addresses and already has a successful run.
Steps
Save a typed source and its full coverage; inspect an existing contact and the need signal, then edit that contact’s newly deciding address and deliver its reaction.
Expected
Saving preserves the earlier placement and raises need; the later address reaction uses the saved source and coverage.
Data
An enabled policy places contacts by their preferred addresses and already has a successful run.