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.
Imported retirement uses catalogue and policy checks. The interaction scenario connects maintain the region catalogue, restrict regional work to authorised users with this capability. Cross-workflow expectations are proposed where no executable binding is present.
Coverage
Rulecovered
Transitiongap: FND-CRM-REG-059
Validationcovered
Permissioncovered
Edgegap: FND-CRM-REG-059
Failurecovered
Boundarygap: FND-CRM-REG-059
Concurrencygap: FND-CRM-REG-059
Invariantgap: FND-CRM-REG-059
Interactioncovered
Test Scenarios
5 scenarios proving CAP-CRM-REG-014; 2 bound to an existing test.
01Bulk work requires both regional keyspermissionbrowsernegativetest
services-crm:tests/unit/regions-authorization.spec.ts#the data jobs of regions, which are the configuration data-job routes under /regions › requires crm.regions.bulk AND crm.regions.update of every one of them, which the read key alone does not give
services-crm:tests/unit/regions-authorization.spec.ts#the data jobs of regions, which are the configuration data-job routes under /regions › publishes the twelve routes a job of regions has: the submission, the list, the status, the lookup by source key, the two pages, the apply, the four control actions and the revalidation of conflicts