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.
Gating delivery controls the irreversible handoff. 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 scheduled deletion has a failed final-reminder notice.
Steps
Run the destruction check, record delivery or policy suppression for the obligation and run the check again.
Expected
The first check keeps the decision reversible; a satisfied gate allows the remaining safeguards to decide whether purge may begin.
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.