Provider notifications become application events only after verification and processing. The interaction cases follow valid, tampered, repeated and replayed messages through downstream routing, keeping message recovery separate from duplicate provider-event handling.
The structured scenarios name the capabilities and rules involved. A bound test contributes only the outcomes it asserts; proposed transition matrices and composed interactions still require executable proof.
Coverage
Rulecovered
Transitioncovered
Validationgap: FND-PFM-INT-076
Permissioncovered
Edgegap: FND-PFM-INT-076
Failurecovered
Boundarycovered
Concurrencycovered
Invariantcovered
Interactioncovered
Test Scenarios
13 scenarios proving CAP-PFM-INT-013; 7 bound to an existing test.
01Ingress refuses invalid endpoints and overloadboundaryapinegativetest
Processed notifications exist with and without provider identifiers.
Steps
Resubmit both and explicitly replay the identified message.
Expected
Repeated notifications are retained, then marked ignored with the earlier message identified and no new emitted event; explicit replay processes again and emits new events.
Data
Fixtures establishing the stated accounts, declarations and history in an isolated workspace.
Prepare one independent record in each starting state, including absent-record cases where the model defines creation.
Steps
Run each listed transition once with its guard satisfied, then repeat it with the guard denied. Inspect the resulting record and listed side effects after commit.
Expected
Each positive case reaches its listed destination and records its defined side effects. Each denied case preserves the starting record and creates no transition side effects.
Data
Run-owned records and principals in an isolated workspace.
Prepare one independent record in each starting state, including absent-record cases where the model defines creation.
Steps
Run each listed transition once with its guard satisfied, then repeat it with the guard denied. Inspect the resulting record and listed side effects after commit.
Expected
Each positive case reaches its listed destination and records its defined side effects. Each denied case preserves the starting record and creates no transition side effects.
Data
Run-owned records and principals in an isolated workspace.
An initial key account declares a manual endpoint.
Steps
Enter valid credentials, finish verification and inspect endpoint setup twice.
Expected
The verification job activates the account and provisions its endpoint; ordinary reads reveal no signing secret.
Data
Run-owned records and principals in an isolated workspace.
Source
services-platform:modules/integrations/services/credentials/credential-store.ts:verification_retried,services-platform:modules/integrations/tests/e2e-adapters/events-dummy.adapters.spec.js#never answers the secret again