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.
Remote reset support is checked before participant work. 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 import workspace has selected local and remote reset participants; one remote description omits reset.
Steps
Plan reset, inspect invocation logs and compare selected resource counts before and after the refusal.
Expected
The unsupported declaration stops planning before any selected participant removes records.
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.