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
Transitioncovered
Validationcovered
Permissionnot-applicable
Edgegap: FND-PFM-OPS-055
Failurecovered
Boundarycovered
Concurrencygap: FND-PFM-OPS-055
Invariantcovered
Interactioncovered
Test Scenarios
13 scenarios proving CAP-PFM-OPS-003; 8 bound to an existing test.