The category map distinguishes authored scenarios from unresolved proof obligations. A bound scenario names an existing executable suite; its recorded result remains unrun.
Pinned assertion sources support the listed executable bindings. Proposed cases retain the proof required beyond those boundaries. Structured obligations name incomplete object, transition and permission trace; row-level concurrency proof does not establish complete workflow serialization.
Coverage
Rulecovered
Transitionnot-applicable
Validationcovered
Permissioncovered
Edgecovered
Failuregap: FND-PFM-OPS-059
Boundarygap: FND-PFM-OPS-059
Concurrencygap: FND-PFM-OPS-059
Invariantcovered
Interactioncovered
Test Scenarios
8 scenarios proving CAP-PFM-OPS-007; 6 bound to an existing test.