TEST 104

TEST-104

Stimulus

Feed the teardown step VM states from a stub hypervisor: running, paused, poweroff, aborted, livesnapshotting, onlinesnapshotting, and a state the executor does not know. Give one teardown target by name instead of UUID. Start two teardown requests for one UUID at once. Offer a teardown receipt that claims removal but lacks the absence observation.

Required observation

Power off is issued only from running or paused, and destroy only from poweroff or aborted. Each snapshotting or unknown state fails closed: no mutation is issued and the VM is left in place. The name target is rejected before any mutation. The two requests run one after the other. The receipt without the absence observation fails verification, and every accepted receipt binds the UUID, the observed states, and the absence observation.