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.
Export reflects saved catalogue and policy without run internals. The interaction scenario connects maintain the region catalogue, configure automatic placement and its address sources with this capability. Cross-workflow expectations are proposed where no executable binding is present.
Coverage
Rulecovered
Transitionnot-applicable
Validationgap: FND-CRM-REG-060
Permissionnot-applicable
Edgegap: FND-CRM-REG-060
Failuregap: FND-CRM-REG-060
Boundarygap: FND-CRM-REG-060
Concurrencygap: FND-CRM-REG-060
Invariantcovered
Interactioncovered
Test Scenarios
3 scenarios proving CAP-CRM-REG-015; 0 bound to an existing test.
01Export includes saved regional configurationruleapiproposed
One workspace has active and retired definitions and saved ordered settings; another has unsaved defaults.
Steps
Read the definitions and settings, export both workspaces and compare the public regional configuration.
Expected
The configured export retains definition identity, availability and saved rule order; unsaved defaults contribute no settings row, and run and generation internals are absent.
Data
One workspace has active and retired definitions and saved ordered settings; another has unsaved defaults.