The category map separates defined scenarios from missing proof. A covered category has a scenario; a binding records inspected test assertions and carries no execution result. State-model completeness and untested interactions remain explicit gaps.
The winning destruction decision closes preservation routes. The combined scenario sets up the stated boundary, changes the upstream condition and observes its effect on the dependent outcome. Its steps and assertions are proposed; component tests do not establish this combined execution.
An eligible request and authorized cancellation attempt contend at the destruction boundary.
Steps
Run cancellation and irreversible handoff concurrently; inspect request, workspace and purge-job records and try a later cancellation.
Expected
One decision wins with matching records. A destruction winner submits purge and subsequent cancellation refuses; a cancellation winner submits no purge.
Data
Create a separate run-owned workspace for each decision branch and an unaffected comparison workspace. Use a controlled clock, paused task or injected fault at the boundary named in the scenario.