REQ 057

REQ-057: Block mutation during snapshots or unknown state

Requirement

Windows provisioning shall refuse VM-control and media mutations while the VM is snapshotting or its state is unknown.

Rationale

Even an authorized hard-poweroff fallback must not interrupt snapshot serialization.

Fit Criterion

livesnapshotting, onlinesnapshotting, and an unparseable or unavailable VM state block control, storage attachment, restart, and poweroff. Recheck the verified UUID and state immediately before each mutation; a proven interlock or exclusive-control mechanism must also prevent a third-party snapshot race.

Verification

Planned, TEST-057; per-run hard-poweroff authorization does not override this requirement.

Source

Software-Requirements-Specification

Priority

High

TestID

TEST-057

TestArtifact

Planned VirtualBox state, competing-session, access-boundary, and progress-recovery fixtures; live semantics require separate proof

CodeRef

Windows workflow and host adapters

Status

Planned