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.
Reset reapplication uses the baseline ledger. 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.
A CRM load has imported rows alongside seeded defaults and an unrelated comparison workspace.
Steps
Run reset through removal and reseeding, inspect seed entries and default rows, and initialize the reset workspace once more.
Expected
The restored baseline is ledgered; initialization adds no duplicate and the comparison workspace remains unchanged.
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.