The scenarios check observable outcomes against the cited contracts. The coverage map retains partial proof and unresolved design boundaries as findings.
Find retained history from a rule. Open the rule, request its newest decision page and inspect one decision; repeat in another workspace.
Record a consequential uncertain answer. Evaluate under closed policy and inspect the returned decision and history before completing the caller operation.
Observe a failed history write. Inject the insertion failure, evaluate and inspect diagnostic output and history.
Coverage
Rulecovered
Transitioncovered
Validationcovered
Permissiongap: FND-PFM-ELG-061
Edgegap: FND-PFM-ELG-061
Failuregap: FND-PFM-ELG-061
Boundarycovered
Concurrencygap: FND-PFM-ELG-061
Invariantgap: FND-PFM-ELG-061
Interactioncovered
Test Scenarios
11 scenarios proving CAP-PFM-ELG-009; 7 bound to an existing test.
An authorization request and a sample-eligible display request share a valid use.
Steps
Fail each history insertion separately, evaluate and inspect the caller response, transaction and diagnostic output.
Expected
Authorization does not complete with a retained decision; display can complete before its failed deferred insertion, whose diagnostic contains no fact payload.
Data
Run-owned fixtures, separate caller contexts and a controlled clock where required.