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.
Retryable failure and recovery remain visible through run reads. The interaction scenario connects 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-057
Permissiongap: FND-CRM-REG-057
Edgegap: FND-CRM-REG-057
Failurecovered
Boundarycovered
Concurrencygap: FND-CRM-REG-057
Invariantcovered
Interactioncovered
Test Scenarios
8 scenarios proving CAP-CRM-REG-012; 6 bound to an existing test.
01History and individual reads expose progressruleapitest
A run spans more than one batch and its next batch fails once.
Steps
Commit the first batch, fail the next delivery, read the run and policy currency, remove the fault and redeliver to completion.
Expected
Reads retain committed progress and a redacted running error before recovery; successful completion clears that error and covers only its recorded generation.
Data
A run spans more than one batch and its next batch fails once.
08Failure-settlement failure preserves the original batch errorfailureapinegativeproposed
Proves
INV-DOM-CRM-REG-004-06
Preconditions
A run’s next batch fails and storing its failure reason also fails.
Steps
Deliver once with a recoverable fault and once as final receive while settlement remains unavailable.
Expected
The original batch error is rethrown and settlement failure is logged; final delivery can leave running status rather than guaranteeing failed settlement.
Data
A run’s next batch fails and storing its failure reason also fails.